Dogma: A modernized metalanguage with better expressiveness and binary grammar support
-
Updated
May 27, 2023
#
metalanguage
Here are 28 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
A concise and readable metaprogramming language for C++
-
Updated
Oct 27, 2020 - C++
A language that can program itself
-
Updated
Jan 7, 2026 - Rust
A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.
-
Updated
Feb 25, 2026 - MQL5
LOGOS-ΞΊ β ΡΠΏΠ΅ΡΠΈΠ°Π»ΠΈΠ·ΠΈΡΠΎΠ²Π°Π½Π½ΡΠΉ ΡΠ·ΡΠΊ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΠΡΠΏΠΎΠ»Π½ΡΠ΅ΠΌΡΠΉ ΠΎΠ½ΡΠΎΠ»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΉ ΠΏΡΠΎΡΠΎΠΊΠΎΠ» Ξ-Π£Π½ΠΈΠ²Π΅ΡΡΡΠΌΠ° Π΄Π»Ρ ΡΠ°Π±ΠΎΡΡ Ρ ΡΠ΅Π°Π»ΡΠ½ΠΎΡΡΡΡ ΠΊΠ°ΠΊ ΡΠ΅ΡΡΡ ΡΠ²ΡΠ·Π΅ΠΉ. ΠΡΠΎ Π½Π΅ ΠΏΡΠΎΡΡΠΎ ΡΠ·ΡΠΊ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ, Π° ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½Ρ Π΄Π»Ρ ΠΎΠ½ΡΠΎΠ»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ Π°Π½Π°Π»ΠΈΠ·Π° ΠΈ ΡΠΈΠΌΠ±ΠΈΠΎΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠΎ-ΡΠ²ΠΎΡΡΠ΅ΡΡΠ²Π° ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΅Π»ΠΎΠ²Π΅ΠΊΠΎΠΌ ΠΈ ΠΠ
python lambda lisp ai metalanguage programminglanguage artificialintelligence metalinguistic-ai logos-k a-universum lambda-universum
-
Updated
Feb 13, 2026 - Python
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...
calculus parallel sml robin ccs metalanguage communicating standardml milner sapienza-university ocalm sapienza sapienza-student robinmilner pietrocenciarelli
-
Updated
Sep 2, 2019 - Standard ML
A Python implementation of the Refal language
-
Updated
Dec 29, 2024 - Python
MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation
parser-generator generator-generator metalanguage attribute-grammar generative-grammar attribute-grammars context-sensitive-grammars context-sensitive-grammar grammar-formalism
-
Updated
Oct 25, 2023 - Haskell
Formally correct DSLs
haskell dsl formal-semantics dissertation metacompiler domain-specific-language formal-verification metalanguage
-
Updated
Jun 5, 2017 - Haskell
Library π that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime
nodejs javascript testing lightweight metadata json modular schema validation generator types json-schema checker dsl metalanguage runtime-verification modular-design zero-dependencies modules-architecture astrohelm
-
Updated
May 24, 2024 - JavaScript
A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.
-
Updated
Apr 4, 2025 - MQL5
A natural language layer on top of Budgie. π¦
javascript ruby python java language syntax typescript csharp oop metalanguage general-language-syntax
-
Updated
Jun 3, 2020 - TypeScript
a metalanguage for Timed and Concurrent Operational Semantics
-
Updated
Jan 26, 2026 - TypeScript
Tracery metalanguage/compiler with support for variant symbols
-
Updated
Jan 6, 2020 - Python
A practical one-liner metalanguage for describing common-sense in an machine-friendly way.
-
Updated
Mar 19, 2024 - Jupyter Notebook
A DSL for DataSynth Graph Generator
-
Updated
Oct 25, 2018 - Scala
π¦ An expressive series of utilities for language like types
-
Updated
Nov 30, 2022 - TypeScript
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
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."