An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: graph-rewriting

usalu/semio

🧩 Design-Information-Modeling for Kit-of-Parts Architecture 🏘️

Language: C# - Size: 434 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 12 - Forks: 1

opencog/atomspace

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

Language: C++ - Size: 163 MB - Last synced at: 8 days ago - Pushed at: 20 days ago - Stars: 867 - Forks: 242

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.

Language: C++ - Size: 113 MB - Last synced at: 17 days ago - Pushed at: 20 days ago - Stars: 56 - Forks: 31

grew-nlp/grewlib

Ocaml library for Grew (graph rewriting for NLP)

Language: OCaml - Size: 2.28 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0

lmntal/slim

slim LMNtal implementation

Language: C++ - Size: 14 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 5

lmntal/lmntal-compiler

LMNtal Compiler

Language: Java - Size: 58 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 20 - Forks: 2

colltoaction/nx_hif

A higher-order runtime

Language: Jupyter Notebook - Size: 474 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

maxitg/SetReplace

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

Language: Mathematica - Size: 14.6 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 222 - Forks: 47

bobbens/pygraphgram

A small test for grammar rewriting for procedural content generation.

Language: Python - Size: 20.5 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

contrast-zone/t-rewriter.js

(experimental) Conceptual s-expression based typed term graph rewriting system

Language: JavaScript - Size: 1.34 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 29 - Forks: 3

lmntal/lavit

LMNtal IDE

Language: Java - Size: 7.13 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 6 - Forks: 3

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.

Language: Java - Size: 19 MB - Last synced at: about 8 hours ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

contrast-zone/rewrite.js

(experimental) Minimalist s-expr based term graph rewriting system

Language: HTML - Size: 183 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 1

met4citizen/Hypergraph

Hypergraph Rewriting System

Language: JavaScript - Size: 1.07 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 54 - Forks: 9

catseye/Kangaroo-Iceberg 📦

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

Language: C - Size: 156 KB - Last synced at: about 2 months ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

chemlambda/chemlambda.github.io

landing page for all chemlambda related projects

Language: JavaScript - Size: 441 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

mbuliga/chemski

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

Language: JavaScript - Size: 1.75 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 1

chemlambda/molecular

Molecular computers with interaction combinators like graph rewrite systems

Language: JavaScript - Size: 683 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

rh122/rh122.github.io

Graph Transformation for Software Engineers (GT4SE)

Size: 790 KB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jar2333/GRE.NET

simple labelled graph rewriting for .NET

Language: C# - Size: 135 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

mbuliga/zss

Zip slip smash (zss) is Zipper logic revisited

Language: TeX - Size: 12.2 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

mbuliga/hapax

Project hapax

Language: Awk - Size: 1.21 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

Related Keywords
graph-rewriting 22 chemlambda 5 artificial-chemistry 3 simulation 3 hypergraph 3 graph-transformation 3 artificial-life 2 lambda-calculus 2 graph-algorithms 2 graph-rewriting-library 2 s-expressions 1 substitution 1 esolang 1 esoteric-language 1 esoteric-programming-language 1 unfinished 1 unimplemented 1 rule-based 1 pattern-matching 1 grgen-net 1 grgen 1 bigraphs 1 type-system 1 production-rules 1 automated-reasoning 1 pcg 1 wolfram-model 1 wolfram-language 1 knot-diagram 1 graph-transformation-systems 1 graph-grammars 1 graph-grammar 1 generative-graph-grammars 1 generative-graph-grammar 1 stochastic-analysis 1 software-engineering 1 service-oriented-architecture 1 reverse-engineering 1 requirements-engineering 1 peer-to-peer 1 model-transformations 1 model-based-testing 1 model-based-development 1 domain-specific-language 1 molecular-computers 1 interaction-combinators 1 chemski 1 ski-combinator-calculus 1 ski-calculus 1 combinatory-chemistry 1 quine 1 knowledge-representation 1 knowledge-graph 1 knowledge-base 1 graph-database 1 atomspace 1 urban-planning 1 sverchok 1 shape-grammar 1 procedural-modeling 1 parametric-design 1 llm 1 kit-of-parts 1 grasshopper 1 generative-design 1 engineering 1 dynamo 1 design-patterns 1 design 1 computer-aided-architectural-design 1 component-based-design 1 building-information-modeling 1 architecture 1 ai 1 3d 1 set-substitution 1 set 1 physics 1 nks 1 graph 1 higher-order 1 ocaml-library 1 natural-language-processing 1 rules-engine 1 rule-engine 1 inference-rules 1 inference-engine 1 inference 1 forward-chaining 1 chainer 1 backward-induction 1 backward-chaining 1 rewriting 1 rewrite-system 1 relational-database 1 relational-algebra 1 query-language 1 query-engine 1 logic-programming 1