Tool support for the Z formal notation
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Group of multi-purpose Java-converted-from-C# parsing libraries.
Java math expression parser and script interpreter
Scheduling lockages at ship locks with several parallel lock chambers
A Free and Open Source Java Framework for Multiobjective Optimization
VMR - machine learning library
Command Centre
This is a lightweight java dynamic component framework
High Performance, Lock Free Java Actors