A circuit simulator with graphical user interface (GUI)
TimingEditor is a tool to graphically draw and edit timing diagrams.
Yet Another JNI-D2XX Interface Project
Eclipse-based IDE for design verification tasks
GHDL - a VHDL simulator
Circuit simulators like SPICE for low memory computers
Caneda (Circuits and Networks EDA) is an open source EDA software.
A graphical Finite State Machine (FSM) designer.
is a Qt program to generate SMD chip shooter code
Java Decision Diagrams (BDD) libraries: JDD and JBDD