Google's software suite for combinatorial optimization
Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Open-source C/C++ math engine for advanced scientific computing
Unicode XML TEI text analysis platform
Generates Latin squares and counts their transversals
A collection of tools used in the enumeration of solution spaces
Editor for Petri nets
A Free and Open Source Java Framework for Multiobjective Optimization
Log-linear analysis (data modelling) for high-dimensional data
Bond-graph based modelling tools
Timeseries databases management system
JBernstein: Exploration techniques for non-linear constraint checking
Utility classes from maps to search engine to random samplers