Digital Logical Simulator
github.com