My initial thought was that this was about a project building atop of clasp, like CANDO: https://youtu.be/5bQhGS8V6dQ?t=322 https://youtu.be/5bQhGS8V6dQ?t=322

My initial thought was that this was about a project building atop of clasp, like CANDO: https://youtu.be/5bQhGS8V6dQ?t=322 https://youtu.be/5bQhGS8V6dQ?t=322 https://github.com/drmeister/clasp https://github.com/drmeister/clasp https://github.com/drmeister/cando https://github.com/drmeister/cando But this does seem a bit more like Julia? "Julia: to Lisp or not to Lisp?" https://www.youtube.com/watch?v=dK3zRXhrFZY https://www.youtube.com/watch?v=dK3zRXhrFZY Then there's also the Axiom system, which I guess is primarily for symbolic computation, but I don't know if it might make sense to use it as a building block for statistical software? http://axiom-developer.org/ http://axiom-developer.org/