A simulation environment for physiology models simulation
A local subversioning command line tool.
JBernstein: Exploration techniques for non-linear constraint checking
Measurement science-based performance & conformance testing framework
An HDL alternative to PCB graphical schematic capture tools.
Framework for Agent-oriented MOdelling and Simulation
[frozen] A library for computing cycles in graphs or in Java code.
Android virtual machines running on Openstack Clouds
A StarUML C++ Module supporting incremental reverse engineering.