rewrite-system

There are 1 repository under rewrite-system 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++ 777
HarrisonGrodin / Simplify.jl
Algebraic simplification in Julia
julia julialang algebra term-rewriting simplification reduction rewriting rewrite-system rewriting-system
Language:Julia 78
wroberts / fsed
Aho-Corasick string replacement utility
string-matching rewrite-system aho-corasick python python-2 python-3 text-search replace-text
Language:sed 22
ayberkt / tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
maude rewriting term-rewriting rewrite-system algebra
Language:Standard ML 4
yslide / slide
A math expression rewrite system.
math rewrite-system
Language:Rust 3
CarsonScott / L-System-Grammar
A class for creating and implementing L-system grammars in python
biology formal-grammar formal-language fractal modeling production-rules recursion rewrite-system
Language:Python 2
tom-harwood / jburg3
Extended BURS generator
parsing-library bottom-up rewrite-system
Language:Java 2
QueenieCplusplus / Nginx_Backend
後端伺服器 Web Server
backend-as-a-service backend-server rewrite rewrite-system
1
chrisdalvit / parser
rewriting rewrite-system rewrite-systems theoretical-computer-science
Language:Haskell 0
emarzion / combinator-confluence
A proof of confluence for combinatory logic
combinatory-logic proofs rewrite-system
Language:Coq 0
kooixh / rewrite-system
My third year University dissertation, Term Rewriting System
algorithms formal-languages formal-specification rewrite-system java parsing
Language:Java 0
damdamo / Teri
Teri is a library for term rewriting using strategies.
strategy term rewrite-rules rewrite-system
Language:Swift