Composable transformations of Python+NumPy programs
Computer Algebra System written in Common Lisp
A cross-platform statistical package for econometric analysis
A portable, multi-platform, command-line driven graphing utility
fast C++ library for linear algebra & scientific computing
General Mission Analysis Tool
C++ library for half precision floating point arithmetics.
For exploring cellular automata like Conway's Game of Life.
Tool support for the Z formal notation
Framework for numerical computations, data analysis and visualisation
Numerical Bifurcation Analysis Toolbox in Matlab
2D & 3D TeX-Aware Vector Graphics Language
Agena is an interpreted procedural programming language.
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Arbitrary-precision CRC calculator and algorithm finder
Android, UIQ 3.0, Series 60 Edition 5 open-source software
A collection of mathematical packages in pure Ada