Tool support for the Z formal notation
An object relational-mapping (ORM) library for Java
Framework for Systems Biology
Tool for Engineering Emergent Selforganizing bEhavioR
Group of multi-purpose Java-converted-from-C# parsing libraries.
An FMI-based co-simulation framework.
Orkney Testframework
Modular Java framework for meta-heuristic optimization
A OWL reasoning framework for the analysis of big biomedical data
Lightweight framework for handling biological and bioinformatical data
A Free and Open Source Java Framework for Multiobjective Optimization
Petri net framework for security related modeling and reasoning.