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++ 920
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 235
Hypergraph
met4citizen / Hypergraph
Hypergraph Rewriting System
graph-rewriting hypergraph
Language:JavaScript 82
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.
rules-engine rule-engine forward-chaining backward-chaining inference-engine chainer backward-induction graph-rewriting inference inference-rules
Language:C++ 55
lmntal / lmntal-compiler
LMNtal Compiler
graph-rewriting
Language:Java 20
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 19
lmntal / slim
slim LMNtal implementation
graph-rewriting
Language:C++ 18
semio
usalu / semio
🧩 Design-Information-Modeling for Kit-of-Parts 🏘️
3d design-patterns dynamo graph-rewriting grasshopper parametric-design urban-planning building-information-modeling kit-of-parts shape-grammar ai llm architecture design engineering semio component-based computer-aided generative-design procedural-modeling
Language:TypeScript 15
chemlambda / molecular
Molecular computers with interaction combinators like graph rewrite systems
chemlambda molecular-computers graph-rewriting interaction-combinators chemski
Language:JavaScript 13
mbuliga / hapax
Project hapax
artificial-chemistry lambda-calculus graph-rewriting simulation chemlambda
Language:Awk 7
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
echo
flyingrobots / echo
Recursive meta-graph game engine. Fork reality, merge timelines, get perfect determinism. Built on category theory, powered by graph rewriting.
confluence deterministic-simulation dpo-rewriting experimental formal-methods game-engine gamedev graph-rewriting lua networked-multiplayer rust time-travel-debugging
Language:Rust 4
grew-nlp / grewlib
Ocaml library for Grew (graph rewriting for NLP)
graph-rewriting natural-language-processing ocaml-library
Language:OCaml 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# 4
catseye / Kangaroo-Iceberg
(WIP) An incomplete, Tamerlane-like graph-rewriting language
unfinished unimplemented esolang esoteric-programming-language esoteric-language graph-rewriting
Language:C 2
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
bobbens / pygraphgram
A small test for grammar rewriting for procedural content generation.
graph-rewriting pcg
Language:Python 1
metabolism
usalu / metabolism
🫀 A semio kit for metabolistic architecture 🏙️
ai architecture design history kit-of-parts metabolism prefab semio 3d engineering generative graph-rewriting parametric information building-information-modeling component-based-design computer-aided-architectural-design
1
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-transformation grgen rules-engine simulation
Language:Java 0
core
meta-graph / core
Typed DPOI graph‑rewriting engine in C for recursive metagraphs with deterministic local scheduling, atomic snapshots, QCA‑ready.
hypergraph ruliad c23 category-theory coalgebra dpoi graph-rewriting maximal-independent-set quantum-cellular-automata simd systems-programming algebraic-graph-transformation cospans deterministic-scheduling double-pushout open-graphs recursive-graphs rewriting-systems snapshot-epoch wolfram-physics
Language:C 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
Amitgo1 / hapax
🤖 Streamline AI operations with Hapax, the infrastructure layer that ensures continuous service and automatic failover for seamless provider management.
artificial-chemistry corpus-linguistics film generating-art graph-rewriting hacktoberfest hapax infrastructure infrastructure-as-code lambda-calculus llm llm-observability llmops monitoring open-source openai simulation video
Language:Go