#

string-rewriting

Here are 2 public repositories matching this topic...

roboguy13 / rewrite-logic

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

parsing proof-assistant rewriting string-rewriting rewriting-system

Updated Apr 3, 2021
Haskell

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 string-rewriting kleene-algebra

Updated Nov 3, 2023
Haskell

Improve this page

Add a description, image, and links to the string-rewriting topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the string-rewriting topic, visit your repo's landing page and select "manage topics."