graph-rewriting

There are 1 repository under graph-rewriting topic.

opencog / atomspace
The OpenCog (hyper-)graph database and graph rewriting system
graph-database knowledge-representation query-engine logic-programming knowledge-graph knowledge-base query-language relational-database relational-algebra rewrite-system rewriting graph-rewriting atomspace
Language:C++ 775
SetReplace
maxitg / SetReplace
C++/Wolfram Language package for exploring set and graph rewriting systems
graph physics set wolfram-language graph-rewriting set-substitution wolfram-model nks hypergraph
Language:Mathematica 211
Hypergraph
met4citizen / Hypergraph
Hypergraph Rewriting System
hypergraph graph-rewriting
Language:JavaScript 54
opencog / ure
Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
rules-engine rule-engine forward-chaining backward-chaining inference-engine chainer backward-induction graph-rewriting inference inference-rules
Language:C++ 53
contrast-zone / reasoner.js
(work in progress) Conceptual s-expression based typed term graph rewriting system
graph-rewriting production-rules automated-reasoning type-system
Language:JavaScript 28
contrast-zone / rewrite.js
(experimental) Minimalist s-expr based term graph rewriting system
pattern-matching s-expressions substitution rule-based graph-rewriting
Language:HTML 22
lmntal / lmntal-compiler
LMNtal Compiler
graph-rewriting
Language:Java 18
lmntal / slim
slim LMNtal implementation
graph-rewriting
Language:C++ 18
mbuliga / chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
chemlambda combinatory-chemistry ski-calculus graph-rewriting ski-combinator-calculus artificial-life artificial-chemistry simulation
Language:JavaScript 13
chemlambda / molecular
Molecular computers with interaction combinators like graph rewrite systems
chemlambda molecular-computers graph-rewriting interaction-combinators chemski
Language:JavaScript 6
lmntal / lavit
LMNtal IDE
graph-rewriting
Language:Java 6
mbuliga / zss
Zip slip smash (zss) is Zipper logic revisited
chemlambda knot-diagram graph-rewriting
Language:TeX 5
semio
usalu / semio
✏️Collaborative, scalable and cross-platform designing.
3d component-based-design design-patterns design-prototypes dynamo generative-design graph-rewriting graph-transformation grasshopper parametric-design port-based-thinking procedural-modeling sverchok urban-planning architecture-engineering-construction building-information-modeling computer-aided-architectural-design computer-based-design-synthesis
Language:TypeScript 5
mbuliga / hapax
Project hapax
artificial-chemistry lambda-calculus graph-rewriting simulation chemlambda
Language:Awk 4
jar2333 / GRE.NET
simple labelled graph rewriting for .NET
graph-transformation graph-transformation-systems graph-grammars graph-grammar graph-rewriting graph-rewriting-library graph-algorithms generative-graph-grammar generative-graph-grammars
Language:C# 3
chemlambda / chemlambda.github.io
landing page for all chemlambda related projects
chemlambda lambda-calculus artificial-life quine artificial-chemistry simulation graph-rewriting
Language:JavaScript 2
ydewit / strandal
A lightweight and multi-threaded Interaction Combinators implementation in Rust
graph-rewriting interaction-combinators
Language:Rust 1
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.
bigraphs graph-rewriting graph-rewriting-library graph-transformation grgen grgen-net
Language:Java 0
rh122 / rh122.github.io
Graph Transformation for Software Engineers (GT4SE)
domain-specific-language graph-rewriting graph-transformation model-based-development model-based-testing model-transformations peer-to-peer requirements-engineering reverse-engineering service-oriented-architecture software-engineering stochastic-analysis
0
catseye / Kangaroo-Iceberg
(WIP) An incomplete, Tamerlane-like graph-rewriting language
unfinished unimplemented esolang esoteric-programming-language esoteric-language graph-rewriting
Language:C