string-diagrams
There are 11 repositories under string-diagrams topic.
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
paolobrasolin/string-diagrams
Create string diagrams with LaTeX!
celrm/stringdiagrams
Code for the paper "Rendering string diagrams recursively".
epatters/wiring-diagram-canvas
Wiring diagrams in HTML canvas
CompositionalPlanning/CompositionalPlanning
String Diagrams for Assembly Planning
sd-visualiser/sd-visualiser
String diagram visualiser
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
georgejkaye/lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
georgejkaye/circuit-visualiser
A visualiser for circuits represented as hypergraphs