Logisim-evolution is a completely free and open-source educational, cross-platform software for designing and simulating digital logic circuits.
Project highlights: