-
Updated
May 22, 2024 - Agda
#
coalgebra
Here are 4 public repositories matching this topic...
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
A Functorial Formulation of Nuclear Fission: Category theory meets nuclear physics with type-safe Haskell implementation
-
Updated
Dec 11, 2025 - Haskell
Resource-sensitive certification for tool-augmented agent swarms with coalgebraic semantics, a SELL-labelled ledger, LangGraph workflows, and synthetic validation data.
formal-methods reproducibility multi-agent-systems linear-logic runtime-verification coalgebra langgraph
-
Updated
Aug 20, 2026 - TeX
Improve this page
Add a description, image, and links to the coalgebra topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the coalgebra topic, visit your repo's landing page and select "manage topics."