string-diagrams

There are 11 repositories under string-diagrams topic.

AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
Language:Julia622 20 37058
homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
Language:Rust90 5 5187
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
Language:Python16 4 10
paolobrasolin/string-diagrams
Create string diagrams with LaTeX!
Language:TeX13 4 102
celrm/stringdiagrams
Code for the paper "Rendering string diagrams recursively".
Language:Haskell12 2 02
epatters/wiring-diagram-canvas
Wiring diagrams in HTML canvas
Language:TypeScript9 5 41
CompositionalPlanning/CompositionalPlanning
String Diagrams for Assembly Planning
Language:Jupyter Notebook7 2 01
sd-visualiser/sd-visualiser
String diagram visualiser
Language:Rust7 3 722
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Language:TeX5 2 00
georgejkaye/lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Language:TeX1 2 0
georgejkaye/circuit-visualiser
A visualiser for circuits represented as hypergraphs
Language:Reason2 0