Google's software suite for combinatorial optimization
Tools for building fast, hackable, pseudospectral equation solvers
Bayesian Modeling and Probabilistic Programming in Python
The Nelson Programming Language
Mathematical Contest resources
Beautiful and accessible math in all browsers
Tool support for the Z formal notation
Set of numeric libraries for the Go programming language
Local git statistics including GitHub-like contributions calendars
Integrated development environment for the high-level constraint model
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Simulate chemical processes using advanced thermodynamic models
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Unified Data Envelopment Analysis commands for Stata
An Infinitely Large Napkin
a Small (Matlab/Octave) Toolbox for Kriging
Open statistics and scientific graphing
H9A counts how many times a digit appears in any range, instantly.
Tools and Programs to make Polygons
math,simulation,graphics
Unicode XML TEI text analysis platform