Agena is an interpreted procedural programming language.
Calc: arbitrary precision C-like arithmetic & calculator
A system for computer algebra and symbolic mathematics
Physical simulation of particle movements
NEVESIM is an event-driven neural simulation tool.
Fast C library for relation algebra using binary decision diagrams.