metalanguage

There are 20 repositories under metalanguage topic.

  • kstenerud/dogma

    Dogma: A modernized metalanguage with better expressiveness and binary grammar support

    63211

  • ZigaSajovic/CppML

    A concise and readable metaprogramming language for C++

    Language:C++53303

  • Xe/xultybau

    Metalanguage analysis

    Language:Go11411

  • 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 ML7201

  • iamrecursion/absol

    Formally correct DSLs

    Language:Haskell5101

  • astrohelm/metaforge

    Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime

    Language:JavaScript31151

  • catseye/Fountain

    MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation

    Language:Haskell3300

  • budgielang/NBudgie

    A natural language layer on top of Budgie. 🦜

    Language:TypeScript22170

  • serin-delaunay/tracegreement

    Tracery metalanguage/compiler with support for variant symbols

    Language:Python2200

  • YieldLang/yieldlang

    🦾 A meta-Language for LLMs to produce or parse structured info.

    Language:Python2200

  • DAMA-UPC/Babel

    A DSL for DataSynth Graph Generator

    Language:Scala1600

  • danlessa/meta_qa

    A practical one-liner metalanguage for describing common-sense in an machine-friendly way.

    Language:Jupyter Notebook110

  • hexaredecimal/koolml

    Cool meta language for the web created in python

    Language:Python1100

  • jdeantoni/TCOS.lang

    a metalanguage for Timed and Concurrent Operation Semantics

    Language:TypeScript1102

  • matt-usurp/grok

    🦎 An expressive series of utilities for language like types

    Language:TypeScript1111

  • true-grue/refalpy

    A Python implementation of the Refal language

    Language:Python1

  • Platin21/MetalExample

    A Simple Example Metal App

    Language:Swift0100

  • AgtLucas/reason-playground

    Playing with Reason api

    Language:OCaml20

  • MannarAmuthan/Metacircular-Evaluator

    Simple LISP like implementation of language, inspired by Metalinguistic abstraction

    Language:Java20

  • owsky/TinyML

    F# implementation of a type inference system for the core of ML

    Language:F#10