Dogma: A modernized metalanguage with better expressiveness and binary grammar support
A concise and readable metaprogramming language for C++
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 b...
Formally correct DSLs
🦾 A meta-Language for LLMs to produce or parse structured info.
A language that can program itself
A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.
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
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. 🦜
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