untrusted comment: verify with st.pub
RWQTleDnDrmVqRlE3P8FulY/d2LJPlIr4PsFBO4OkoEJhUNba9J7iaPurUrvd6OHcbDLRV9sF+Yn0Ad6w7Mya7hOm0cQtN2eXgo=
ACL2 and maxima are successful and current lisp creations.

On  another  topic,  lispers  have noted  that it's not just one  killer
feature  that seems  to make lisp elite;  it seems a cluster of features
covers  a space of common local optima.  I forgot whose books said that.
Lisp also grows  and adapts such as with the common  lisp object  system
[and metaobject protocol]. 

ACL2 and maxima are domain-specific universes in lisp rather than simply
domain specific languages. I haven't personally generally used maxima. 

Both   ACL2  and  maxima  are  many-faceted   environments   for   their
constructing new functionalities,  and are as notable for ellisions from
common  lisp  as  inclusions.    In ACL2 one  creates   groundwork   for
discovering   first order theorems,  and maxima creates  the well  known
world of mathematical processing and visualisation. 

Hence  my  conjectured  bag of wide-ranging  and occasionally   original
features: 

Chaosnet   -working   ;  make all of gophers,  geminizers  and  websters
unhappy.   (???).   Chaosnet is a protocol  by Moon for highly  reliable
networks. (I think there's an extant cottage scene). 

Packages are pulled from noncentralised gopher-like cvsweb-like sources;
generally    as   like  browsable   gopher  itemtypes   1   and   0   of
~/common-lisp/my-project/  gophermaps;  signed, manifested tgzs of these
also hosted  are pulled in(to asdf's  ~/.local/share/common-lisp/source/
per-folder as extracted signify(1)ed .tgzs. 

Hosting,  aside  from aforesaid  chaos-gotpherweb,  provides single  and
multi  user activitypub-alike  service,  in some sense fulfilling   w3's
current activitypub spec with a notion of whatever chaosnet requests are
(datagram-like?). 

The  following  packages  are mandated:   CLML (BLAS ML), MGL (GPU  ML),
Northwestern  University's CBR [I saw this somewhere]. All of and to the
extent  practical only all of these packages + activitypub-alike  in all
directions are included. 

Threading is not treated within the image;  however, multiple images may
in general be coordinating through a shared activity-pub-alike host; and
multiple  activity-pub-alike  hosts may be federating.  A worker machine
with four cores is probably running five images. 

Recapitulating:

A     lisp,     in     the     spirit     of     acl2     but     having
chaosnet activitypublike + gopherlike gotweblike serving and access both
data and systems Three AI tools present: CLML, MGL, [] CBR.

Due to the AI packages, sbcl is the target lisp.

(Does anyone have the link to modern chaosnet facility).

In  general  AI developed  are interfaced  with by socialising   on  the
activity-pub-alike.