An open source re-implementation of Chris Sawyer's Locomotion
Digital Circuits Design and Simulation
Allows you to build your own circuits and test them
Small factory simulator for control logic test purpose
Macro/Micro Magnetic Simulator
Visually build and simulate boolean logic circuits