graph-rewriting

Here are 13 public repositories matching this topic...

opencog / atomspace

The OpenCog (hyper-)graph database and graph rewriting system

knowledge-graph graph-database query-engine logic-programming knowledge-base rewrite-system relational-database query-language relational-algebra knowledge-representation rewriting graph-rewriting atomspace

Updated Apr 4, 2023
C++

maxitg / SetReplace

Star

C++/Wolfram Language package for exploring set and graph rewriting systems

set graph physics hypergraph wolfram-language graph-rewriting nks set-substitution wolfram-model

Updated Sep 23, 2021
Mathematica

opencog / ure

Star

Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

rule-engine chainer inference rules-engine backward-chaining inference-engine inference-rules graph-rewriting forward-chaining backward-induction

Updated Feb 21, 2023
C++

met4citizen / Hypergraph

Star

Hypergraph Rewriting System

hypergraph graph-rewriting

Updated Apr 5, 2023
JavaScript

symbolverse / reasoner.js

Star

conceptual static term graph rewriting system (WIP)

graph-rewriting production-rules termgraph sequents

Updated Mar 30, 2023
HTML

mbuliga / chemski

Star

Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.

simulation artificial-life ski-calculus ski-combinator-calculus graph-rewriting artificial-chemistry chemlambda combinatory-chemistry

Updated Nov 2, 2022
JavaScript

mbuliga / zss

Star

Zip slip smash (zss) is Zipper logic revisited

graph-rewriting knot-diagram chemlambda

Updated Jan 13, 2022
TeX

chemlambda / molecular

Star

Molecular computers with interaction combinators like graph rewrite systems

graph-rewriting chemlambda interaction-combinators molecular-computers chemski

Updated Nov 9, 2022
JavaScript

chemlambda / chemlambda.github.io

Star

landing page for all chemlambda related projects

simulation lambda-calculus quine artificial-life graph-rewriting artificial-chemistry chemlambda

Updated Jun 21, 2022
JavaScript

mbuliga / hapax

Star

Project hapax

simulation lambda-calculus graph-rewriting artificial-chemistry chemlambda

Updated Aug 13, 2020
Awk

jar2333 / GRE.NET

Star

simple labelled graph rewriting for .NET

graph-algorithms graph-grammars graph-transformation-systems graph-rewriting graph-rewriting-library graph-transformation graph-grammar generative-graph-grammar generative-graph-grammars

Updated Apr 13, 2022
C#

catseye / Kangaroo-Iceberg

Star

(WIP) An incomplete, Tamerlane-like graph-rewriting language

esoteric-language unfinished esolang esoteric-programming-language unimplemented graph-rewriting

Updated Aug 19, 2014
C

rh122 / rh122.github.io

Star

Graph Transformation for Software Engineers (GT4SE)

peer-to-peer reverse-engineering software-engineering model-transformations domain-specific-language model-based-testing model-based-development requirements-engineering service-oriented-architecture graph-rewriting graph-transformation stochastic-analysis

Updated Dec 4, 2022

Improve this page

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

Learn more