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
MIRROR of https://codeberg.org/catseye/Xigxag : A string-copying automaton that almost always blows up exponentially
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?
Computational irreducibility as functoriality (Gorard arXiv:2301.04690) — Turing machines, cellular automata, hypergraph rewriting, Fong-Spivak Frobenius verification in Rust, built on catgraph
MIRROR of https://codeberg.org/catseye/Squishy2K : A language where string-rewriting meets state machines
Tra cứu thuế TNCN Việt Nam 2026 chính xác với hệ thống AI hỗ trợ quy trình quyết toán, tính thuế cho cá nhân, freelancer và người nước ngoài.
Rewrite/replacement automaton with FRACTRAN-like control-flow
Add a description, image, and links to the string-rewriting topic page so that developers can more easily learn about it.
To associate your repository with the string-rewriting topic, visit your repo's landing page and select "manage topics."