For exploring cellular automata like Conway's Game of Life.
Toolboxes for parameter continuation and bifurcation analysis.
A collection of python3 modules for Algorithmic Decision Theory
C++ Statistical ToolKit
Unicode XML TEI text analysis platform
Computer Assisted Proofs in Dynamics
A collection of machine-checkend mathematical proofs
A collection of web apps interacting with Stata through SWire
Library Finance Math for GCC (C++)
Gauss-Kronrod quadrature on several variables.
UNLocBox (Matlab convex optimization toolbox)
Calculate primes numbers with yourself
A collection of tools used in the enumeration of solution spaces
Library for spherical harmonic transforms (SHT)
Software for data analysis, image processing, simulations, solver.
Capacity exhaustion prediction from RRD files