Digital Circuits Design and Simulation
Community driven PCB Layout and Schematic capture software
Digital circuit simulator
Simple and intuitive 2D vector drawing for electronics and not only.
Eclipse-based IDE for design verification tasks
Python Gerber to G-code converter
Powerfull pre-processor
A graphical Finite State Machine (FSM) designer.
An HDL alternative to PCB graphical schematic capture tools.
Unified Verification Environment