metalanguage
Here are 29 public repositories matching this topic...
Formally correct DSLs
-
Updated
Jun 5, 2017 - Haskell
A DSL for DataSynth Graph Generator
-
Updated
Oct 25, 2018 - Scala
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…
-
Updated
Sep 2, 2019 - Standard ML
Tracery metalanguage/compiler with support for variant symbols
-
Updated
Jan 6, 2020 - Python
A natural language layer on top of Budgie. 🦜
-
Updated
Jun 3, 2020 - TypeScript
A concise and readable metaprogramming language for C++
-
Updated
Oct 27, 2020 - C++
Simple LISP like implementation of language, inspired by Metalinguistic abstraction
-
Updated
Nov 26, 2021 - Java
🦎 An expressive series of utilities for language like types
-
Updated
Nov 30, 2022 - TypeScript
Dogma: A modernized metalanguage with better expressiveness and binary grammar support
-
Updated
May 27, 2023
MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation
-
Updated
Oct 25, 2023 - Haskell
A practical one-liner metalanguage for describing common-sense in an machine-friendly way.
-
Updated
Mar 19, 2024 - Jupyter Notebook
Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime
-
Updated
May 24, 2024 - JavaScript
a metalanguage for Timed and Concurrent Operational Semantics
-
Updated
Jan 26, 2026 - TypeScript
A Python implementation of the Refal language
-
Updated
Dec 29, 2024 - Python
This project explores whether Mathematics and Computer Science texts still retain enough linguistic patterns (metalanguage) for classification once domain-specific words are removed. 🤖📚
-
Updated
Feb 3, 2025 - Jupyter Notebook
-
Updated
Mar 27, 2025 - Rust
A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.
-
Updated
Apr 4, 2025 - MQL5
Improve this page
Add a description, image, and links to the metalanguage topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the metalanguage topic, visit your repo's landing page and select "manage topics."