Agena is an interpreted procedural programming language.
Numerical mathematics platform, Matlab alternative
Automated integer factorization
Evaluate math expressions from command line or in interactive session.
rw calculates rank-width and rank-decompositions.
Easy mathematics in wxWidgets
RCL, a simulator for Texas Instrument calculators from the 70's.
Software for exact computing based on interval arithmetic.
The software for solving special problems of mathematics and physics
CAS Algorithms embeded as libraries.