I have another fork that is still (mostly) maintained and used as well: https://github.com/kevinawalsh/logisim-evolution

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.