rewrite-system

There are 13 repositories under rewrite-system topic.

opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
Language:C++836 85 609235
HarrisonGrodin/Simplify.jl
Algebraic simplification in Julia
Language:Julia84 8 366
wroberts/fsed
Aho-Corasick string replacement utility
Language:sed24 5 26
ayberkt/tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
Language:Standard ML4 3 01
yslide/slide
A math expression rewrite system.
Language:Rust3 4 1505
CarsonScott/L-System-Grammar
A class for creating and implementing L-system grammars in python
Language:Python2 3 01
tom-harwood/jburg3
Extended BURS generator
Language:Java2 2 12
KajizukaTaichi/megane
The array-oriented rewrite computing model
Language:Rust1 1 0
QueenieCplusplus/Nginx_Backend
後端伺服器 Web Server
1 2 01
chrisdalvit/parser
Language:Haskell0 1 00
emarzion/combinator-confluence
A proof of confluence for combinatory logic
Language:Coq0 2 00
kooixh/rewrite-system
My third year University dissertation, Term Rewriting System
Language:Java0 0 10
damdamo/Teri
Teri is a library for term rewriting using strategies.
Language:Swift1 0