SUMO is a microscopic, multi-modal traffic simulation.
Object-oriented equation-based modelling and optimisation software
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
A multi-modeling and simulation environment to study complex systems
Travel Market Simulator
Examples for the aXBench.
Python-based GUI for discrete-event system modeling and simulation
Labcoat; the VHDL graphic emulator.