Category-theoretic graph structures in Rust — strict Fong & Spivak hypergraph categories (cospans, props, Frobenius), with applied, magnitude, physics, and DL extensions, plus a term-language frontend (print/parse/eval/typed builder)
rust dsl props category-theory graph-theory hypergraph term-rewriting magnitude applied-category-theory compositionality smith-normal-form string-diagrams signal-flow-graphs monoidal-categories cospan frobenius-algebra enriched-categories categorical-deep-learning
-
Updated
Jul 29, 2026 - Rust