Synchronous Petri Nets' emulator
Control your cursor and click from within C#, ideal for automation.
Tools to support the learning of the C programming language
Software for design single skin kites, speedgliders and paragliders
A toolkit for developing and deploying protein structure algorithms.
MatLab toolbox for magnetospheric and ionospheric science.
JBernstein: Exploration techniques for non-linear constraint checking
scientific programming language and graphics
Named Binary Tag Library for .net
An HDL alternative to PCB graphical schematic capture tools.
Framework for Agent-oriented MOdelling and Simulation
A parallel implementation using MPI and OpenMP to Apriori algorithm
[frozen] A library for computing cycles in graphs or in Java code.
Graph algorithms interpreter, IDE, debugger, 3D visualizations.