Skip to content
#

cospans

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 C 1 Rust 1
core

meta-graph / core

Star 2

Typed DPOI graph‑rewriting engine in C for recursive metagraphs with deterministic local scheduling, atomic snapshots, QCA‑ready.

simd category-theory hypergraph systems-programming graph-rewriting maximal-independent-set c23 ruliad dpoi coalgebra quantum-cellular-automata recursive-graphs algebraic-graph-transformation double-pushout open-graphs rewriting-systems deterministic-scheduling snapshot-epoch cospans wolfram-physics
  • Updated Oct 23, 2025
  • C

tsondru / catgraph

Star 1

Cospans, spans, hypergraph rewriting (DPO), multiway evolution, discrete curvature, Petri nets, Frobenius algebras, wiring diagrams, E_n operads, compact closed categories, and lattice gauge theory in Rust — applied category theory for compositional systems, with SurrealDB persistence

rust category-theory petri-net hypergraph spans wiring-diagram discrete-curvature surrealdb operad gauge-theory rustworkx cospans dpo-rewriting multiway-systems frobenius-algebra compact-closed
  • Updated Apr 8, 2026
  • Rust

Improve this page

Add a description, image, and links to the cospans topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cospans topic, visit your repo's landing page and select "manage topics."

Learn more