Topic: "string-diagrams"
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
Language: Julia - Size: 59.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 650 - Forks: 57
homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
Language: Rust - Size: 219 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 96 - Forks: 7
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
Language: Python - Size: 2.86 MB - Last synced at: 10 days ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 0
paolobrasolin/string-diagrams
Create string diagrams with LaTeX!
Language: TeX - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 14 - Forks: 2
celrm/stringdiagrams
Code for the paper "Rendering string diagrams recursively".
Language: Haskell - Size: 147 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 2
epatters/wiring-diagram-canvas 📦
Wiring diagrams in HTML canvas
Language: TypeScript - Size: 115 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 9 - Forks: 1
sd-visualiser/sd-visualiser
String diagram visualiser
Language: Rust - Size: 3.15 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 7 - Forks: 2
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Language: TeX - Size: 95.7 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0
georgejkaye/lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Language: TeX - Size: 1.39 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
georgejkaye/circuit-visualiser
A visualiser for circuits represented as hypergraphs
Language: Reason - Size: 5.16 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0