Provenance in NetLogo
Prototype editor for the SDEM Mapping Language
Utility functionalities for simple Xml usage in Java
A tool for parametric model checking of UPPAAL models.
Visualize Galois sub-hierarchy of 2d matrix
rel_erl is a lightweight relational in-memory database for Erlang.