Automate Clojure projects easily
Tool support for the Z formal notation
SUMO is a microscopic, multi-modal traffic simulation.
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Installable / Portable Python Distribution for Everyone.
This is a Java APP for Probability and Statistics Tables
Eclipse-based IDE for design verification tasks
Find the best suited cloud provider and deployment for your software
The Repast Suite is a family of free agent-based modeling libraries.
Modeling and Simulation made NiCE!
Full Body Interaction Framework
Octave Eclipse GUI
openSCADA® is an open source SCADA system written in JAVA