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

Topic: "graph-rewriting"

opencog/atomspace

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

Language: C++ - Size: 163 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 877 - Forks: 242

maxitg/SetReplace

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

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

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: 22 days ago - Pushed at: 2 months ago - Stars: 55 - Forks: 31

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

contrast-zone/t-rewriter.js

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

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

contrast-zone/rewrite.js

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

Language: HTML - Size: 183 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 23 - Forks: 1

lmntal/lmntal-compiler

LMNtal Compiler

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

lmntal/slim

slim LMNtal implementation

Language: C++ - Size: 14.2 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 18 - Forks: 5

usalu/semio

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

Language: TypeScript - Size: 707 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 12 - Forks: 1

mbuliga/chemski

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

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

lmntal/lavit

LMNtal IDE

Language: Java - Size: 5.47 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 3

chemlambda/molecular

Molecular computers with interaction combinators like graph rewrite systems

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

mbuliga/zss

Zip slip smash (zss) is Zipper logic revisited

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

chemlambda/chemlambda.github.io

landing page for all chemlambda related projects

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

jar2333/GRE.NET

simple labelled graph rewriting for .NET

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

mbuliga/hapax

Project hapax

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

grew-nlp/grewlib

Ocaml library for Grew (graph rewriting for NLP)

Language: OCaml - Size: 2.29 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

bobbens/pygraphgram

A small test for grammar rewriting for procedural content generation.

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

usalu/metabolism

🫀 A semio kit for metabolistic architecture 🏙️

Size: 194 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

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: 18.8 MB - Last synced at: about 12 hours ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

colltoaction/nx_hif

A higher-order runtime

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

rh122/rh122.github.io

Graph Transformation for Software Engineers (GT4SE)

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

catseye/Kangaroo-Iceberg 📦

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

Language: C - Size: 156 KB - Last synced at: about 1 month ago - Pushed at: almost 11 years ago - Stars: 0 - Forks: 0

R6/opencog-atomspace

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

Language: C++ - Size: 172 MB - Last synced at: over 1 year ago - Stars: 0 - Forks: 0

R6/opencog-ure

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

Language: C++ - Size: 119 MB - Last synced at: over 1 year ago - Stars: 0 - Forks: 0

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