A concise and readable metaprogramming language for C++

a metalanguage for Timed and Concurrent Operation Semantics

🦎 An expressive series of utilities for language like types

Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime

Metalanguage analysis

Formally correct DSLs

Dogma: A modernized metalanguage with better expressiveness and binary grammar support

The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope rest…

A Python implementation of the Refal language

A practical one-liner metalanguage for describing common-sense in an machine-friendly way.

Tracery metalanguage/compiler with support for variant symbols

A DSL for DataSynth Graph Generator

Simple LISP like implementation of language, inspired by Metalinguistic abstraction

🦾 A meta-Language for LLMs to produce or parse structured info.

A natural language layer on top of Budgie. 🦜

wL is a markup metalanguage designed to store arbitrary data in a format that is both human-readable and machine-readable.

Playing with Reason api

F# implementation of a type inference system for the core of ML

A Simple Example Metal App

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