Stanford GraphBase

Hopsan is a free multi-domain system simulation tool developed at the division of Fluid and mechatronic systems at Linköping university.

A digital logic designer and circuit simulator.

Parsing and generating popular formats of circuit netlist

Lean 4 programming language and theorem prover

Multi-platform nightly builds of open source digital design and verification tools

Yosys Open SYnthesis Suite

A visualization grammar.

A Python 3 headless implementation of the Capella modeling tool.

Extension for python-capellambse that adds automatically generated context diagrams for arbitrary model elements.

A diagramming framework for the web

🎯 React library for building workflow editors, flow charts and diagrams. Maintained by @goodcodeus.

The ELK layout algorithm adapter for Cytoscape.js

SKiDL is a module that extends Python with the ability to design electronic circuits.

experimental procedural PCB layout program

Spyce, Simple python circuit editor

Sphinx Extension which generates various types of diagrams from Verilog code.

HAL – The Hardware Analyzer

Electric Circuits Domain for webGME

Digital Logic Simulator

Teaching-focused digital circuit simulator

D3.js and ELK based schematic visualizer

draws an SVG schematic from a JSON netlist

ELK's layout algorithms for JavaScript

All course files for the Flutter Masterclass course on Net Ninja Pro.

Text, diagrams, and source code for the book Computer Graphics from scratch.

A game engine powered by python and panda3d.