metalanguage

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 restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock.

Formally correct DSLs

A Python implementation of the Refal language

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

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

A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.

A language that can program itself

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

A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.

a metalanguage for Timed and Concurrent Operational Semantics

Tracery metalanguage/compiler with support for variant symbols

A natural language layer on top of Budgie. 🦜

wL for python

This project explores whether Mathematics and Computer Science texts still retain enough linguistic patterns (metalanguage) for classification once domain-specific words are removed. 🤖📚

Cool meta language for the web created in python

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

🦎 An expressive series of utilities for language like types