For exploring cellular automata like Conway's Game of Life.
A collection of mathematical packages in pure Ada
C++ Statistical ToolKit
A collection of machine-checkend mathematical proofs
Accumulation of mathematical knowledge, matrix numerical optimization
UNLocBox (Matlab convex optimization toolbox)
Library for spherical harmonic transforms (SHT)
Javafastcomplex has both mutable and immutable complex numbers
Free Matlab toolbox to compute robust correlations