SYMDIFF is a tool for symbolic differentiation of mathematical expressions. It includes Python and Tcl interfaces.
A Scheme-like language framework.
A DOM-style C++ API for BSON.