VideoTrace - VideoTrace is a system for interactively generating realistic 3D models of objects from...

Logisim - Logisim is an educational tool for designing and simulating digital logic circuits.

libmv - libmv is a structure from motion library, which plans to one day take raw video footage or...

BOOLR - Open-source digital logic simulator

Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification

Logicly - - Design circuits quickly and easily with a modern and intuitive user interface with drag-and-drop...