DBMS supporting graph, document, full-text and geospatial models
A Database System for Metamodeling and Method Engineering
Toolkit for agent-based & dynamic microsimulation modelling
Model-view-presenter and model-view-intent library for modern Android
Combinatorial Interaction Testing Laboratory
A tool for visualization and analysis of logs as sequence diagrams
Java graph library
Petri net framework for security related modeling and reasoning.
Repository for dependencies between software design artefacts
Provenance in NetLogo
Visualize Galois sub-hierarchy of 2d matrix