string-diagrams topic
List
string-diagrams repositories
Catlab.jl
590
Stars
55
Forks
Watchers
A framework for applied category theory in the Julia language
homotopy-rs
77
Stars
6
Forks
Watchers
A Rust/WASM implementation of homotopy.io
rewalt
15
Stars
0
Forks
Watchers
A toolkit for higher-dimensional diagram rewriting.