Agena is an interpreted procedural programming language.
Calc: arbitrary precision C-like arithmetic & calculator
Interactive geometry software for Euclidean and non-Euclidean spaces
C++ Library to hyphenate a text
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.