Here are
13 public repositories
matching this topic...
The OpenCog (hyper-)graph database and graph rewriting system
Algebraic simplification in Julia
Updated
Sep 25, 2019
Julia
Aho-Corasick string replacement utility
A toy language based on rewriting using code from Baader and Nipkow.
Updated
Jul 16, 2017
Standard ML
A math expression rewrite system.
Updated
Aug 17, 2022
Rust
Updated
Apr 15, 2022
Java
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
My third year University dissertation, Term Rewriting System
Teri is a library for term rewriting using strategies.
Updated
Sep 16, 2020
Swift
The array-oriented rewrite computing model
Updated
Sep 27, 2024
Rust
Improve this page
Add a description, image, and links to the
rewrite-system
topic page so that developers can more easily learn about it.
Curate this topic
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."
Learn more
You can’t perform that action at this time.