Agena is an interpreted procedural programming language.
fast C++ library for GPU linear algebra & scientific computing
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
Bond-graph based modelling tools