Agena is an interpreted procedural programming language.
NARS2000: An Experimental APL Interpreter
Simple Java computer algebra calculator
Numerical mathematics platform, Matlab alternative
Java math expression parser and script interpreter
Easy mathematics in wxWidgets
Software for exact computing based on interval arithmetic.
ODEs solver with GUI
ntccKMC: A Kripke-structure-based model checker for ntcc