codeberg.org topics: experimental-language
catseye/Tandem
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
catseye/Tamsin
Somewhere between a meta-language, a programming language, and a rubbish lister
Language: Python - Size: 849 KB - Last synced at: over 1 year ago - Stars: 0 - Forks: 0
catseye/Castile
A simple imperative language with union types (and a compiler for same, with multiple targets)
Language: Python - Size: 246 KB - Last synced at: about 1 year ago - Stars: 0 - Forks: 0