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

A concise and readable metaprogramming language for C++

Metalanguage analysis

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…

Formally correct DSLs

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

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

Tracery metalanguage/compiler with support for variant symbols

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

A natural language layer on top of Budgie. 🦜

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

🦎 An expressive series of utilities for language like types

A DSL for DataSynth Graph Generator

a metalanguage for Timed and Concurrent Operation Semantics

Cool meta language for the web created in python

Simple LISP like implementation of language, inspired by Metalinguistic abstraction

Playing with Reason api

order-pp preprocessor library (standalone part of chaos-pp)

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

A Simple Example Metal App