Tool support for the Z formal notation
Unicode XML TEI text analysis platform
Generates Latin squares and counts their transversals
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