Object-oriented equation-based modelling and optimisation software
Toolkit for agent-based & dynamic microsimulation modelling
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
Provenance in NetLogo
PetriNetExec a library for embedding Petri Nets into Java applications
Python-based GUI for discrete-event system modeling and simulation
Examples for the aXBench.