Agena is an interpreted procedural programming language.
Calc: arbitrary precision C-like arithmetic & calculator
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
The 'runjags' R package and standalone JAGS extension module
A system for computer algebra and symbolic mathematics
Tinger Calc is a powerful scientific calculator environment.
Bond-graph based modelling tools
Java Decision Diagrams (BDD) libraries: JDD and JBDD