A C interpreter for Arc, Paul Graham's dialect of Lisp.
An object-oriented, type safe, multi-threaded approach to computer algebra.