-
Updated
May 22, 2024 - Agda
#
coalgebra
Here are 5 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
Coinductive formal ontology in Agda
algebra containers physics quantum-mechanics type-theory category-theory agda safe cosmos formal-verification coinduction coalgebra formal-ontology cubical-compatible e-m-type indexed-m-type-over-an-edge-family indexed-m-types transport-free subst-free
-
Updated
Oct 11, 2026 - Agda
Research artifact for the article accepted in Array: resource-sensitive certification of tool-augmented agent swarms, 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
Oct 10, 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."