JQM - Java Quine McCluskey for minimization of Boolean functions.
Agent-based simulation toolkit
Accent interfaces and controls systems through goals and policies
A framework for implementing real-time control systems
Generating PLC programs from formal specifications
Digital PID Controller Using MSP432
Simulation library for SSEP, ASEP or TASEP simulations
Grid based multiplication, add, sub including (-)ve #s
Chronos