A look at what Sam Ritchie has been working on with Emmy, a Clojure computer algebra system ported from Sussman’s scmutils, that also features quite a bit of Clerk:
https://www.youtube.com/watch?v=Jv2JgzAl5yU▾
… some of you might see where all of this is going — an open source, Clojure-based Mathematica-like system.