Agena is an interpreted procedural programming language.
fast C++ library for GPU linear algebra & scientific computing
Interactive geometry software for Euclidean and non-Euclidean spaces
A collection of machine-checkend mathematical proofs
C++ BigInt class enables to work with arbitrary precision integers
A system for computer algebra and symbolic mathematics
Tinger Calc is a powerful scientific calculator environment.