A circuit simulator with graphical user interface (GUI)
DSpice: Design and Simulation of Circuits using Spice
TimingEditor is a tool to graphically draw and edit timing diagrams.
Eclipse-based IDE for design verification tasks
Convert DXF drawings of circuit boards to gEDA-PCB files.
A graphical Finite State Machine (FSM) designer.