Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Unicode XML TEI text analysis platform
Generates Latin squares and counts their transversals
Scheduling lockages at ship locks with several parallel lock chambers
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
Timeseries databases management system
JBernstein: Exploration techniques for non-linear constraint checking
Utility classes from maps to search engine to random samplers