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
CUDA library for continuous optimization and light field analysis
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
Utility classes from maps to search engine to random samplers