string-rewriting | Topic | Ecosyste.ms: Repos

Topic: "string-rewriting"

An open source reimplementation of Benny Brodda's BETA in Python

Language: Python - Size: 69.3 KB - Last synced at: 13 days ago - Pushed at: over 5 years ago - Stars: 63 - Forks: 2

Cat's Eye Technologies' distribution of John Colagioia's Thue programming language

Language: Python - Size: 177 KB - Last synced at: about 1 month ago - Pushed at: over 9 years ago - Stars: 26 - Forks: 3

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: about 1 month ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

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: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

A simple proof assistant based on string rewriting (work in progress)

Language: Haskell - Size: 140 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

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: 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

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: 2 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

MIRROR of https://codeberg.org/catseye/Squishy2K : A language where string-rewriting meets state machines

Language: Perl - Size: 133 KB - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 1

A rewriting language where the rewrite rules form a Kleene algebra

Language: Haskell - Size: 75.2 KB - Last synced at: over 1 year ago - Stars: 0 - Forks: 0