higher-category-theory topic
List
higher-category-theory repositories
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.