pablomarcel

pablomarcel's Stars

• ascherer/sgb

  Stanford GraphBase

  Language:CWeb287

• Hopsan/hopsan

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

  Language:Mathematica16244

• hneemann/Digital

  A digital logic designer and circuit simulator.

  Language:Java4.4k443

• dan-fritchman/Netlist

  Parsing and generating popular formats of circuit netlist

  Language:Python281

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.7k420

• YosysHQ/oss-cad-suite-build

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

  Language:Shell84175

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.5k890

• vega/vega

  A visualization grammar.

  Language:JavaScript11.2k1.5k

• DSD-DBS/py-capellambse

  A Python 3 headless implementation of the Capella modeling tool.

  Language:Python5311

• DSD-DBS/capellambse-context-diagrams

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

  Language:Python13

• eclipse-sprotty/sprotty

  A diagramming framework for the web

  Language:TypeScript71883

• reaviz/reaflow

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

  Language:TypeScript2.1k122

• cytoscape/cytoscape.js-elk

  The ELK layout algorithm adapter for Cytoscape.js

  Language:JavaScript4327

• devbisme/skidl

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

  Language:Jupyter Notebook1.1k119

• jamesbowman/cuflow

  experimental procedural PCB layout program

  Language:Python22117

• imec-myhdl/Spyce

  Spyce, Simple python circuit editor

  Language:Python62

• SymbiFlow/sphinxcontrib-hdl-diagrams

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

  Language:Python5416

• emsec/hal

  HAL – The Hardware Analyzer

  Language:C++62376

• symbench/electric-circuits

  Electric Circuits Domain for webGME

  Language:JavaScript123

• dkilfoyle/logic2

  Digital Logic Simulator

  Language:JavaScript304

• tilk/digitaljs

  Teaching-focused digital circuit simulator

  Language:JavaScript66548

• Nic30/d3-hwschematic

  D3.js and ELK based schematic visualizer

  Language:JavaScript9313

• nturley/netlistsvg

  draws an SVG schematic from a JSON netlist

  Language:JavaScript63581

• kieler/elkjs

  ELK's layout algorithms for JavaScript

  Language:JavaScript1.8k97

• iamshaunjp/flutter-masterclass

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

  6226

• ggambetta/computer-graphics-from-scratch

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

  1.2k117

• TraySimpson/MultiplayerSnakeGame

  Language:Python104

• pokepetter/ursina

  A game engine powered by python and panda3d.

  Language:Python2.2k326

• jeromevonk/chess_console

  Didactic chess console game

  Language:C++6179

• nebulabroadcast/nebula

  Media asset management and broadcast automation system

  Language:Python21727