JQM - Java Quine McCluskey for minimization of Boolean functions.
IEEE VHDL-93 LRM supported parser implemented in Java, APIs Python/Tcl
The Component Library Sorcerer
IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
Community driven PCB Layout and Schematic capture software
This is a very powerful Schematic and PCB layout tool for Engineer
A graphical Finite State Machine (FSM) designer.
FIBEX format viewer and navigator