A C++ library for AVR and NodeMCU
Emulator of the ancient 8 bit microprocessor SC/MP 2
Growth-grammar related Interactive Modelling Platform
Toolkit for agent-based & dynamic microsimulation modelling
Generating PLC programs from formal specifications
Provenance in NetLogo
A library that allows programs for a NI CRIO to be run on a computer.
PetriNetExec a library for embedding Petri Nets into Java applications