SYMDIFF is a tool for symbolic differentiation of mathematical expressions. It includes Python and Tcl interfaces.
Symja is a pure Java library for symbolic mathematics. It supports arbitrary precision integers, rationals and complex numbers, polynomials, differentiation, integration, pattern matching, linear algebra, solvers, and more.
High-performance software transactional memory for Common Lisp.
Poor Richard's Independent anDroid Environment.