Google's software suite for combinatorial optimization
Bayesian Modeling and Probabilistic Programming in Python
Tools for building fast, hackable, pseudospectral equation solvers
Mathematical Contest resources
Beautiful and accessible math in all browsers
Tool support for the Z formal notation
Local git statistics including GitHub-like contributions calendars
Set of numeric libraries for the Go programming language
Simulate chemical processes using advanced thermodynamic models
Android, UIQ 3.0, Series 60 Edition 5 open-source software
An Infinitely Large Napkin
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Open-source C/C++ math engine for advanced scientific computing
Experimentation System
A graphing calculator that's both powerful and easy to use.
Framework & GUI for Bayes Nets and other probabilistic models.
a Small (Matlab/Octave) Toolbox for Kriging
Unified Data Envelopment Analysis commands for Stata
H9A counts how many times a digit appears in any range, instantly.
Uranie is CEA's uncertainty analysis platform, based on ROOT
Open statistics and scientific graphing
Tools and Programs to make Polygons