#

metalanguage

Here are 2 public repositories matching this topic...

iamrecursion / absol

Formally correct DSLs

haskell dsl formal-semantics dissertation metacompiler domain-specific-language formal-verification metalanguage

Updated Jun 5, 2017
Haskell

catseye / Fountain

MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation

parser-generator generator-generator metalanguage attribute-grammar generative-grammar attribute-grammars context-sensitive-grammars context-sensitive-grammar grammar-formalism

Updated Oct 25, 2023
Haskell

Improve this page

Add a description, image, and links to the metalanguage 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 metalanguage topic, visit your repo's landing page and select "manage topics."