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
RCL, a simulator for Texas Instrument calculators from the 70's.
Software for exact computing based on interval arithmetic.
ODEs solver with GUI
ntccKMC: A Kripke-structure-based model checker for ntcc
Lambda Calculus Interpreter for Android