#
rewrite-system
Here are 12 public repositories matching this topic...
Open
Named rules
HarrisonGrodin
commented
Aug 14, 2018
We should be able to attach names to rules, so that normalization steps (and error messages?) can be better understood by users. For example:
normalize(@term(diff(x + y, x)))
- @term(diff(x,x) + diff(y,x)) by sum rule in differentiation
- @term(one(x) + diff(y, x)) by linear rule of differentiation
- @term(1 + diff(y, x)) by multiplicative identity of a number
- @term(1 + zero(x))
Aho-Corasick string replacement utility
-
Updated
Nov 25, 2019 - sed
A toy language based on rewriting using code from Baader and Nipkow.
-
Updated
Jul 16, 2017 - Standard ML
A class for creating and implementing L-system grammars in python
-
Updated
May 25, 2019 - Python
-
Updated
Nov 5, 2021 - Haskell
A proof of confluence for combinatory logic
-
Updated
Jan 16, 2017 - Coq
My third year University dissertation, Term Rewriting System
-
Updated
Nov 5, 2020 - Java
Teri is a library for term rewriting using strategies.
-
Updated
Sep 16, 2020 - Swift
Improve this page
Add a description, image, and links to the rewrite-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the rewrite-system topic, visit your repo's landing page and select "manage topics."
Per discussion in #2743 this class is mis-named.
Also, rename
LinkStreamValueto just plainLinkStream.