Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
Unicode XML TEI text analysis platform
Numerical models for chemical and process engineering
Java math expression parser and script interpreter
Predictive Microbial Modeling plug-in for KNIME
Scheduling lockages at ship locks with several parallel lock chambers
Modular Java framework for meta-heuristic optimization
A Free and Open Source Java Framework for Multiobjective Optimization
Petri net framework for security related modeling and reasoning.
A geometry library for Java
Java graph/network library