libmv - libmv is a structure from motion library, which plans to one day take raw video footage or...
Digital - A simulator for digital circuits.
VideoTrace - VideoTrace is a system for interactively generating realistic 3D models of objects from...
LTspice - LTspice® is a high performance SPICE simulation software, schematic capture and waveform viewer with enhancements and models for easing the simulation of analog circuits.
Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification
BOOLR - Open-source digital logic simulator