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.
Independent implementation of the pattern matching algorithms in Maude.
AI-powered writing assistant that helps you craft perfect responses for chat messages, emails, and comments.
It's Python! No, it's Tcl!, Wait, what is it?
Wolfram's 2-state 3-symbol Turing machine
A formal semantics framework for OpenFlow networks implemented in Maude 3.1
Lindenmayer system interpreter using turtle graphics in Python
A total symbolic calculus for division by zero via scale-promoting branch semantics.
Algoritmo de Markov esotérico con sintaxis kaomoji — Turing-completo, unario, reescritura
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
A Pattern Matching library and query language for Python
To associate your repository with the rewriting-system topic, visit your repo's landing page and select "manage topics."