Tool support for the Z formal notation
Unicode XML TEI text analysis platform
Framework & GUI for Bayes Nets and other probabilistic models.
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