Calc: arbitrary precision C-like arithmetic & calculator
fast C++ library for GPU linear algebra & scientific computing
Agena is an interpreted procedural programming language.
Interactive geometry software for Euclidean and non-Euclidean spaces
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.
Java Decision Diagrams (BDD) libraries: JDD and JBDD