Tool support for the Z formal notation
Symja - Java computer algebra language & symbolic math library
An Open Source POWERLINK network configuration toolkit
Eclipse-based IDE for design verification tasks
Maui is the Maltcms User Interface
An Eclipse RCP program for all aspects of a (Swiss) medical practice
MGSyn - Automatic Synthesis for Industrial Automation
The Repast Suite is a family of free agent-based modeling libraries.
Modeling and Simulation made NiCE!
open-source, flexible Business Process Management (BPM) in Java
ChemClipse Third Party Libraries
Support scientific/logistic process to extract samples from a biobank
mojo provides fast analyzes for your business processes
An ideal gas simulator 2D developed in Java