metalanguage
There are 1 repository under metalanguage topic.
ZigaSajovic / CppML
A concise and readable metaprogramming language for C++
Language:C++ 59- Language:Go 11
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.
Language:Standard ML 7iamrecursion / absol
Formally correct DSLs
Language:Haskell 5astrohelm / metaforge
Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime
Language:JavaScript 3catseye / Fountain
MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation
Language:Haskell 3- Language:Python 3
budgielang / NBudgie
A natural language layer on top of Budgie. 🦜
Language:TypeScript 2serin-delaunay / tracegreement
Tracery metalanguage/compiler with support for variant symbols
Language:Python 2- Language:Scala 1
danlessa / meta_qa
A practical one-liner metalanguage for describing common-sense in an machine-friendly way.
Language:Jupyter Notebook 1hexaredecimal / koolml
Cool meta language for the web created in python
Language:Python 1- Language:TypeScript 1
matt-usurp / grok
🦎 An expressive series of utilities for language like types
Language:TypeScript 1- Language:Python 1
- Language:F# 0
- Language:Swift 0
- Language:OCaml
MannarAmuthan / Metacircular-Evaluator
Simple LISP like implementation of language, inspired by Metalinguistic abstraction
Language:Java
