-
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
Add this topic to your repo
To associate your repository with the coalgebra topic, visit your repo's landing page and select "manage topics."