TimingEditor is a tool to graphically draw and edit timing diagrams.
A circuit simulator with graphical user interface (GUI)
Eclipse-based IDE for design verification tasks
show and configure
Python Gerber to G-code converter
Convert DXF drawings of circuit boards to gEDA-PCB files.
A graphical Finite State Machine (FSM) designer.