Open source finite element software for multiphysical problems
fast C++ library for linear algebra & scientific computing
C++ library for half precision floating point arithmetics.
Tool support for the Z formal notation
For exploring cellular automata like Conway's Game of Life.
statistical tests & psuedo- random number generators (RNGs, PRNGs)
2D & 3D TeX-Aware Vector Graphics Language
Arbitrary-precision CRC calculator and algorithm finder
A Portable General-Purpose Computer Algebra System
rw calculates rank-width and rank-decompositions.
Data Visualization and Analysis
Numerical Bifurcation Analysis Toolbox in Matlab
A collection of mathematical packages in pure Ada
y-cruncher is a program that can compute Pi and other constants
computing f2 bootstrap CI BCA
Agena is an interpreted procedural programming language.
A Fractal Zoomer with various functions.