Tool support for the Z formal notation
Set of numeric libraries for the Go programming language
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Unicode XML TEI text analysis platform
Perl Lib Math Notation
CUDA library for continuous optimization and light field analysis
Generates Latin squares and counts their transversals
A package for Isogeometric Analysis in Octave and Matlab
A Free and Open Source Java Framework for Multiobjective Optimization
JBernstein: Exploration techniques for non-linear constraint checking
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Command line tool for reporting details on a given matrix
Utility classes from maps to search engine to random samplers