Provenance in NetLogo
An editor for presentation models and presentation interaction models
PetriNetExec a library for embedding Petri Nets into Java applications
XJML 1.0 is a platform for Verification and Validation of Java classes
Testbed for playing with the algorithm "pagerank" of Google
Workflow Tool for Eclipse