4 repositories on SrcLog
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Algebraic data types in Common Lisp
Render math formulas in 2D in your terminal!
Arbitrary precision, automatic re-computing real numbers in Common Lisp.