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
Examples for the aXBench.