The OpenCog (hyper-)graph database and graph rewriting system
C++/Wolfram Language package for exploring set and graph rewriting systems
[NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
💻 The right operating system for the left brain 🧠
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
Molecular computers with interaction combinators like graph rewrite systems
Echo is a WARP optic runtime for witnessed causal history, Continuum-compatible suffixes, bounded observation, and holographic readings.
Project hapax
Zip slip smash (zss) is Zipper logic revisited
Ocaml library for Grew (graph rewriting for NLP)
simple labelled graph rewriting for .NET
landing page for all chemlambda related projects
AIΩN – A deterministic architecture for history-native computation. From WARP, a recursive provenance, to Continuum, a protocol for distributed causal computing.
🫀 A semio kit for metabolistic architecture 🏙️
Distributed Interaction Combinator reducer for Grid Computing — Rust, formally specified, deterministic via strong confluence.
A generic graph rewriting engine with game-constraint semantics for procedural generation
Add a description, image, and links to the graph-rewriting topic page so that developers can more easily learn about it.
To associate your repository with the graph-rewriting topic, visit your repo's landing page and select "manage topics."