There’s also a link to an impressive open source web-based logic simulator. You can grab the code for it on GitHub if you wanted to make modifications or just look at how it works.