Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Automates the building of VANET simulations using SUMO and OMNeT++
A wireless push-type network simulator.
Visual & persistent families of models for CA, DEVS, and Statecharts
MGSyn - Automatic Synthesis for Industrial Automation
TraceMetrics is a trace file analyzer for Network Simulator 3 (ns-3).
The Project moved to github https://github.com/EnFlexIT/AgentWorkbench
A DLX/MIPS processor simulator
An easy-to-use Simulation of Hardware-Gates