Tracery metalanguage/compiler with support for variant symbols
-
Updated
Jan 6, 2020 - Python
Tracery metalanguage/compiler with support for variant symbols
A Python implementation of the Refal language
A practical one-liner metalanguage for describing common-sense in an machine-friendly way.
A DSL for DataSynth Graph Generator
Simple LISP like implementation of language, inspired by Metalinguistic abstraction
F# implementation of a type inference system for the core of ML
A natural language layer on top of Budgie. 🦜
🦾 A meta-Language for LLMs to produce or parse structured info.
wL is a markup metalanguage designed to store arbitrary data in a format that is both human-readable and machine-readable.
MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation
Cool meta language for the web created in python
🦎 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
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 metalanguage for Timed and Concurrent Operation Semantics
Add a description, image, and links to the metalanguage topic page so that developers can more easily learn about it.
To associate your repository with the metalanguage topic, visit your repo's landing page and select "manage topics."