Android, UIQ 3.0, Series 60 Edition 5 open-source software
Open source finite element software for multiphysical problems
Python library for defining and optimizing mathematical expressions
fast C++ library for linear algebra & scientific computing
C++ library for half precision floating point arithmetics.
Tool support for the Z formal notation
A cross-platform statistical package for econometric analysis
fast C++ library for GPU linear algebra & scientific computing
Computer Algebra System written in Common Lisp
General Mission Analysis Tool
MathMod is a mathematical modeling software
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
A shared memory parallel sparse matrix library including Sparse BLAS.
Vectorized libm
A C++ library for multiprecision complex-number matrix calculations.
The package for statistical data analysis and applied mathematics
SigPack - A signal processing library using Armadillo
Fast integrator of stochastic partial differential equations