GitHub topics: string-rewriting
catseye/Thue
Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
Language: Python - Size: 177 KB - Last synced at: 3 days ago - Pushed at: about 10 years ago - Stars: 29 - Forks: 4
catseye/Tandem
MIRROR of https://codeberg.org/catseye/Tandem : A rewriting language where the rewrite rules form a Kleene algebra
Language: Haskell - Size: 59.6 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1
catseye/Wanda
MIRROR of https://codeberg.org/catseye/Wanda : A little "concatenative" language that's not actually concatenative at all
Language: Lua - Size: 56.6 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0
catseye/Pophery
MIRROR of https://codeberg.org/catseye/Pophery : (WIP) An imperative string-rewriting language. I know right?
Language: Python - Size: 15.6 KB - Last synced at: 8 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
catseye/Squishy2K
MIRROR of https://codeberg.org/catseye/Squishy2K : A language where string-rewriting meets state machines
Language: Perl - Size: 133 KB - Last synced at: 8 months ago - Pushed at: about 11 years ago - Stars: 0 - Forks: 1
catseye/Xigxag
MIRROR of https://codeberg.org/catseye/Xigxag : A string-copying automaton that almost always blows up exponentially
Language: Perl - Size: 11.7 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
koskenni/beta
An open source reimplementation of Benny Brodda's BETA in Python
Language: Python - Size: 69.3 KB - Last synced at: 6 months ago - Pushed at: about 6 years ago - Stars: 63 - Forks: 2
roboguy13/rewrite-logic
A simple proof assistant based on string rewriting (work in progress)
Language: Haskell - Size: 140 KB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1
