Android, UIQ 3.0, Series 60 Edition 5 open-source software
Tool support for the Z formal notation
Generates Latin squares and counts their transversals
Scheduling lockages at ship locks with several parallel lock chambers
A Free and Open Source Java Framework for Multiobjective Optimization
JBernstein: Exploration techniques for non-linear constraint checking
Hand Written Equation Creator
Utility classes from maps to search engine to random samplers