brendanzab / language-gardenLinks
A garden of small programming language implementations πͺ΄
β287Updated this week
Alternatives and similar repositories for language-garden
Users that are interested in language-garden are comparing it to the libraries listed below
Sorting:
- A series of down-to-earth articles on implementing type inferenceβ159Updated 5 years ago
- A Language with Dependent Data and Codata Typesβ121Updated last week
- Inpla: Interaction nets as a programming language (the current version)β311Updated 11 months ago
- Fir programming languageβ75Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to haβ¦β204Updated this week
- Dependent type checker using normalisation by evaluationβ268Updated last year
- A language server for Standard ML in Rust.β229Updated last week
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ78Updated last week
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β468Updated last week
- A simple ML-like programming language with subtyping and full type inference.β180Updated 10 months ago
- A language with lexical effect handlers and lightweight effect polymorphismβ395Updated this week
- A fast functional language based on two level type theoryβ392Updated 2 years ago
- A modern supercompiler for call-by-value functional languagesβ424Updated last month
- A functional programming language with shell scripting capabilitiesβ122Updated 2 months ago
- Staged compilation with dependent typesβ182Updated 4 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IRβ224Updated last year
- OCaml - Oxidized!β506Updated last week
- A simple library for reporting compiler/interpreter errorsβ266Updated last year
- Spartan type theoryβ271Updated 2 weeks ago
- β119Updated last year
- Proof assistant based on the λΠ-calculus modulo rewritingβ352Updated this week
- Pure functional programming with whole-program mutability inferenceβ75Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ74Updated 3 years ago
- Haskell implemented with combinatorsβ607Updated last week
- A categorical programming language with effectsβ284Updated 2 years ago
- πTTβ231Updated last month
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β68Updated last year
- Embeddable Lambda Prolog Interpreterβ326Updated last week
- The adventures of a Haskell compilerβ232Updated 4 months ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.β45Updated 7 months ago