A visualiser for circuits represented as hypergraphs
-
Updated
Dec 11, 2022 - Reason
A visualiser for circuits represented as hypergraphs
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
String diagram visualiser
String Diagrams for Assembly Planning
Wiring diagrams in HTML canvas
Code for the paper "Rendering string diagrams recursively".
Create string diagrams with LaTeX!
A toolkit for higher-dimensional diagram rewriting.
A Rust/WASM implementation of homotopy.io
A framework for applied category theory in the Julia language
Add a description, image, and links to the string-diagrams topic page so that developers can more easily learn about it.
To associate your repository with the string-diagrams topic, visit your repo's landing page and select "manage topics."