Tool support for the Z formal notation
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
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