Looks like development was suspended back in 2014. There seems to be a recently maintained fork: https://github.com/logisim-evolution/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.