Logisim is a circuit simulator, originally available here.
Carl Burch, the original author of Logisim, abandoned development in 2011 and moved on to a similar successor project, Toves in 2013, because Logisim's code base is in need of a major overhaul. This fork of Logisim picks up the Portuguese translation where Dr. Burch left off and updates it as needed.