Logisim – A Graphical Tool for Designing and Simulating Digital Logic Circuits
cburch.com
cburch.com
It's Windows only. Then a friend pointed me to Logisim, which also runs well on Linux. Unfortunately, the development was suspended, which lead to various forks like: - https://github.com/lbulej/fork-logisim-evolution - https://github.com/Logisim-Ita/Logisim - https://github.com/logisim-evolution/logisim-evolution
LTSpice is for simulating analog circuits, particularly power electronics.
KiCAD is a schematic design and layout tool, it's for designing printed circuit boards.
So it's a bit of an apples:lettuce:walnuts comparison. They're all for different categories of thing, though all deal with some sort of circuit in some sense.
I learned logic gates using this, and even made a video game out of a grid of LEDs. You were a car that had to dodge oncoming traffic by switching between columns.
EDIT: After trying it, it's not the one I remember.
I used the very similar program LogicSim http://www.tetzl.de/java_logic_simulator.html#download
Runs perfect still. Just make sure you have java version 1.4 and up ;)
The REDS-HEIG version you link to has more development activity, support for a wider variety of FPGAs, and a few other advanced features. My version has some neat features not found in REDS-HEIG fork, and usually aims to keep the interface more beginner-friendly and streamlined for use as student's first-contact with digital circuits.
Logisim links:
http://www.cburch.com/logisim/links.html
7400 series Logisim library from Ben Oztalay (ZIP, uncompressed):
http://www.cburch.com/logisim/download/7400-lib.zip
7400 series Logisim library from Technological Services Company (ZIP, uncompressed):
http://www.cburch.com/logisim/download/7400-series-rev1.zip
I Designed My Own 16-bit CPU:
In the end, it was so exciting getting it all working - I even implemented leap years (for february et al). Such a great tool to learn about circuit design!
It ended up being one of my favourite courses of all my undergrad courses