graph-rewriting
There are 21 repositories under graph-rewriting topic.
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
maxitg/SetReplace
C++/Wolfram Language package for exploring set and graph rewriting systems
met4citizen/Hypergraph
Hypergraph Rewriting System
opencog/ure
[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.
lmntal/lmntal-compiler
LMNtal Compiler
lmntal/slim
slim LMNtal implementation
mbuliga/chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
usalu/semio
š§© Design-Information-Modeling for Kit-of-Parts Architecture.
chemlambda/molecular
Molecular computers with interaction combinators like graph rewrite systems
mbuliga/hapax
Project hapax
lmntal/lavit
LMNtal IDE
mbuliga/zss
Zip slip smash (zss) is Zipper logic revisited
jar2333/GRE.NET
simple labelled graph rewriting for .NET
chemlambda/chemlambda.github.io
landing page for all chemlambda related projects
bobbens/pygraphgram
A small test for grammar rewriting for procedural content generation.
grew-nlp/grewlib
Ocaml library for Grew (graph rewriting for NLP)
ydewit/strandal
A lightweight and multi-threaded Interaction Combinators implementation in Rust
bigraph-toolkit-suite/bigraphs.grgen-bigraphs
BiGGer is a transformation tool and library that translates bigraphical models and rules to GrGen.NET-compatible files. It enables bigraph rewriting using GrGen.NET.
rh122/rh122.github.io
Graph Transformation for Software Engineers (GT4SE)
catseye/Kangaroo-Iceberg
(WIP) An incomplete, Tamerlane-like graph-rewriting language
colltoaction/nx_hif
A higher-order runtime