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
VideoTrace - VideoTrace is a system for interactively generating realistic 3D models of objects from...
Digital - A simulator for digital circuits.
ACTS - ACTS is an automatic camera tracking system which can efficiently and stably recover camera motion...