Projects in Awesome Lists tagged with string-rewriting
A curated list of projects in awesome lists tagged with string-rewriting .
https://github.com/koskenni/beta
An open source reimplementation of Benny Brodda's BETA in Python
benny-brodda beta corpus-tools hyphenation linguistics open-source string-manipulation string-rewriting
Last synced: 01 May 2025
https://github.com/catseye/thue
Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
esolang esoteric-language esoteric-programming-language semi-thue-grammar string-rewriting
Last synced: 12 Apr 2025
https://github.com/catseye/wanda
MIRROR of https://codeberg.org/catseye/Wanda : A little "concatenative" language that's not actually concatenative at all
concatenative-language esolang esoteric-language esoteric-programming-language not-actually-concatenative not-actually-stack-based stack-based string-rewriting
Last synced: 12 Apr 2025
https://github.com/catseye/tandem
MIRROR of https://codeberg.org/catseye/Tandem : A rewriting language where the rewrite rules form a Kleene algebra
esoteric-language esoteric-programming-language experimental-language kleene-algebra string-rewriting
Last synced: 05 Mar 2025
https://github.com/roboguy13/rewrite-logic
A simple proof assistant based on string rewriting (work in progress)
parsing proof-assistant rewriting rewriting-system string-rewriting
Last synced: 28 Mar 2025
https://github.com/catseye/pophery
MIRROR of https://codeberg.org/catseye/Pophery : (WIP) An imperative string-rewriting language. I know right?
esolang esoteric-language esoteric-programming-language string-rewriting unfinished wip
Last synced: 05 Mar 2025
https://github.com/catseye/xigxag
MIRROR of https://codeberg.org/catseye/Xigxag : A string-copying automaton that almost always blows up exponentially
Last synced: 05 Mar 2025
https://github.com/catseye/squishy2k
MIRROR of https://codeberg.org/catseye/Squishy2K : A language where string-rewriting meets state machines
esolang esoteric-language esoteric-programming-language state-machine string-rewriting
Last synced: 05 Mar 2025