Community driven PCB Layout and Schematic capture software
Eclipse-based IDE for design verification tasks
GHDL - a VHDL simulator
A graphical Finite State Machine (FSM) designer.
Library of Approximate Adders
is a Qt program to generate SMD chip shooter code