It also comes with a memory and screen abstraction, which can increase performance further over hand-rolled memory and screens once you want that.
It doesn't have any encapsulation, though, which is odd since it compiles things anyway.
In addition to boolean logic, Logisim also includes more advanced components such as static RAM, as well as interesting things to drive with it, such as displays. It was developed for use in schools and is therefore designed to be easy to work (or rather play) with.
The project itself has been dead since 2011 or so, but there is an actively maintained fork [1].
https://www.falstad.com/circuit/circuitjs.html
If you go to e.g. Circuits -> Combinatorial Logic -> Full adder, you can see that digital logic is available too. (Uses a lot of CPU, so maybe reduce simulation speed and current speed. You don't need those for digital stuff.)
Maybe it doesn't look flashy enough for kids though :p
[0]: https://icccamp.ru/
Show HN: BOOLR – A digital logic simulator - https://news.ycombinator.com/item?id=15489535 - Oct 2017 (21 comments)
Show HN: BOOLR, a digital logic simulator - https://news.ycombinator.com/item?id=14335023 - May 2017 (11 comments)