string-diagrams

There are 0 repository under string-diagrams topic.

AlgebraicJulia / Catlab.jl
A framework for applied category theory in the Julia language
applied-category-theory category-theory compositionality julia string-diagrams wiring-diagrams
Language:Julia 611
homotopy-io / homotopy-rs
A Rust/WASM implementation of homotopy.io
category-theory diagram diagrams higher-category-theory math mathematics maths proof-assistant proof-assistants rust string-diagram string-diagrams
Language:Rust 83
ahadziha / rewalt
A toolkit for higher-dimensional diagram rewriting.
category-theory cell-complexes higher-algebra homotopy-theory monoidal-categories rewriting topology higher-category-theory string-diagrams cubical-sets simplicial-sets
Language:Python 15
paolobrasolin / string-diagrams
Create string diagrams with LaTeX!
category-theory latex math string-diagrams tikz
Language:TeX 13
celrm / stringdiagrams
Code for the paper "Rendering string diagrams recursively".
diagrams haskell haskell-diagrams string-diagrams
Language:Haskell 12
epatters / wiring-diagram-canvas
Wiring diagrams in HTML canvas
string-diagrams wiring-diagrams html-canvas open-discovery
Language:TypeScript 9
CompositionalPlanning / CompositionalPlanning
String Diagrams for Assembly Planning
category-theory string-diagrams string-diagram applied-ca lego lego-block minecraft-mod planning planning-algorithms
Language:Jupyter Notebook 7
georgejkaye / act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
act2022 digital-circuits monoidal-categories string-diagrams applied-category-theory
Language:TeX 5
sd-visualiser / sd-visualiser
String diagram visualiser
compiler-plugin lamda-calculus mlir programming-language-theory string-diagram string-diagrams
Language:Rust 5
georgejkaye / lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
applied-category-theory digital-circuits mealy-machines monoidal-categories string-diagrams
Language:TeX 1
georgejkaye / circuit-visualiser
A visualiser for circuits represented as hypergraphs
circuits category-theory hypergraphs string-diagrams
Language:Reason