A simulation environment for physiology models simulation
A local subversioning command line tool.
JBernstein: Exploration techniques for non-linear constraint checking
An HDL alternative to PCB graphical schematic capture tools.
Measurement science-based performance & conformance testing framework
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.