https://github.com/opencog/atomspace

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

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

Last synced: 14 May 2025

https://github.com/harrisongrodin/simplify.jl

Algebraic simplification in Julia

algebra julia julialang reduction rewrite-system rewriting rewriting-system simplification term-rewriting

Last synced: 10 Apr 2025

https://github.com/HarrisonGrodin/Simplify.jl

Algebraic simplification in Julia

algebra julia julialang reduction rewrite-system rewriting rewriting-system simplification term-rewriting

Last synced: 22 Jul 2025

https://github.com/wroberts/fsed

Aho-Corasick string replacement utility

aho-corasick python python-2 python-3 replace-text rewrite-system string-matching text-search

Last synced: 09 Apr 2025

https://github.com/ayberkt/tinyrw

A toy language based on rewriting using code from Baader and Nipkow.

algebra maude rewrite-system rewriting term-rewriting

Last synced: 31 Jan 2026

https://github.com/queeniecplusplus/nginx_backend

後端伺服器 Web Server

backend-as-a-service backend-server rewrite rewrite-system

Last synced: 19 Mar 2026

https://github.com/emarzion/combinator-confluence

A proof of confluence for combinatory logic

combinatory-logic proofs rewrite-system

Last synced: 14 Apr 2025

https://github.com/chrisdalvit/parser

rewrite-system rewrite-systems rewriting theoretical-computer-science

Last synced: 15 Jul 2025