A circuit simulator with graphical user interface (GUI)
Simple and intuitive 2D vector drawing for electronics and not only.
Eclipse-based IDE for design verification tasks
Convert DXF drawings of circuit boards to gEDA-PCB files.
A graphical Finite State Machine (FSM) designer.
Java Decision Diagrams (BDD) libraries: JDD and JBDD