Topic: "higher-category-theory"
homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
Language: Rust - Size: 219 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 97 - Forks: 7
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
Language: Python - Size: 2.86 MB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 0
o-morikawa/HigherCup
Symbolic manipulation of Steenrod higher cups
Language: Mathematica - Size: 55.7 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
