There are 1 repository under string-rewriting topic.
An open source reimplementation of Benny Brodda's BETA in Python
Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
MIRROR of https://codeberg.org/catseye/Wanda : A little "concatenative" language that's not actually concatenative at all
MIRROR of https://codeberg.org/catseye/Tandem : A rewriting language where the rewrite rules form a Kleene algebra
A simple proof assistant based on string rewriting (work in progress)
MIRROR of https://codeberg.org/catseye/Pophery : (WIP) An imperative string-rewriting language. I know right?
MIRROR of https://codeberg.org/catseye/Xigxag : A string-copying automaton that almost always blows up exponentially
MIRROR of https://codeberg.org/catseye/Squishy2K : A language where string-rewriting meets state machines