|
|
|
|
|
by regularfry
4059 days ago
|
|
Part of the visibility issue is that there are very few big-name open source Common Lisp success stories which aren't CL implementations, or CL ecosystem tools. Most of the things in that list are big-ticket enterprisey applications. |
|
Math: Maxima and Axiom
Blackboards: GBB
Robots: ROS
Music: OpenMusic
Bioinformatics: Biobike
Theorem Provers: ACL2, PVS
AI / Logic: Racer, KM
etc etc...