metalanguage
There are 22 repositories under metalanguage topic.
kstenerud/dogma
Dogma: A modernized metalanguage with better expressiveness and binary grammar support
ZigaSajovic/CppML
A concise and readable metaprogramming language for C++
Xe/xultybau
Metalanguage analysis
ComputerScience-Projects/Calculus-of-Communicating-Systems
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.
iamrecursion/absol
Formally correct DSLs
YieldLang/yieldlang
🦾 A meta-Language for LLMs to produce or parse structured info.
astrohelm/metaforge
Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime
catseye/Fountain
MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation
Charles-Johnson/zia_programming
A language that can program itself
true-grue/refalpy
A Python implementation of the Refal language
budgielang/NBudgie
A natural language layer on top of Budgie. 🦜
serin-delaunay/tracegreement
Tracery metalanguage/compiler with support for variant symbols
DAMA-UPC/Babel
A DSL for DataSynth Graph Generator
danlessa/meta_qa
A practical one-liner metalanguage for describing common-sense in an machine-friendly way.
hexaredecimal/koolml
Cool meta language for the web created in python
jdeantoni/TCOS.lang
a metalanguage for Timed and Concurrent Operational Semantics
matt-usurp/grok
🦎 An expressive series of utilities for language like types
WWX-Team/wL
wL for python
owsky/TinyML
F# implementation of a type inference system for the core of ML
Platin21/MetalExample
A Simple Example Metal App
AgtLucas/reason-playground
Playing with Reason api
MannarAmuthan/Metacircular-Evaluator
Simple LISP like implementation of language, inspired by Metalinguistic abstraction