Algebraic simplification in Julia
Term Rewriting Systems infrastructure
The Sprite Curry Compiler
A simple proof assistant based on string rewriting (work in progress)
A simple Prolog-program to search for polyhexes (polyominoes in hexagonal lattice) and similar structures, related to Fusenes and Helicenes.
AI-powered writing assistant that helps you craft perfect responses for chat messages, emails, and comments.
Wolfram's 2-state 3-symbol Turing machine
It's Python! No, it's Tcl!, Wait, what is it?
A formal semantics framework for OpenFlow networks implemented in Maude 3.1
Lindenmayer system interpreter using turtle graphics in Python
Independent implementation of the pattern matching algorithms in Maude.
Reference implementation of the Ωε-calculus, a total term-rewriting system where division by zero is defined.
A Pattern Matching library and query language for Python
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
Add a description, image, and links to the rewriting-system topic page so that developers can more easily learn about it.
To associate your repository with the rewriting-system topic, visit your repo's landing page and select "manage topics."