Community driven PCB Layout and Schematic capture software
Yet Another JNI-D2XX Interface Project
Eclipse-based IDE for design verification tasks
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
Unified Verification Environment