A Rust/WASM implementation of homotopy.io
rust
math
diagram
mathematics
proof-assistant
category-theory
diagrams
maths
string-diagram
string-diagrams
proof-assistants
higher-category-theory
-
Updated
Jun 30, 2024 - Rust
A Rust/WASM implementation of homotopy.io
A system for programming with diagrams
A renderer for sheet diagrams in bimonoidal categories
String Diagrams for Assembly Planning
String diagram visualiser
Statebox studio + core + API + REST client
Quantum-enhanced generative art
Add a description, image, and links to the string-diagram topic page so that developers can more easily learn about it.
To associate your repository with the string-diagram topic, visit your repo's landing page and select "manage topics."