Skip to content
#

double-pushout

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 C 1 TeX 1

flyingrobots / aion-paper-02-worldlines

Sponsor
Star 0

AIΩN Foundations Paper II – WARP Graphs: Canonical State Evolution and Deterministic Worldlines

concurrency provenance category-theory warp confluence research-paper aion operational-semantics graph-rewriting determinism graph-transformation adhesive-categories dpoi double-pushout multiway-systems deterministic-replay aion-foundations warp-graphs event-structures typed-graphs
  • Updated Dec 15, 2025
  • TeX
core

meta-graph / core

Star 0

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

Improve this page

Add a description, image, and links to the double-pushout 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 double-pushout topic, visit your repo's landing page and select "manage topics."

Learn more