brendanzab / language-gardenLinks
A garden of small programming language implementations πͺ΄
β240Updated 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:
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ63Updated this week
- A Language with Dependent Data and Codata Typesβ104Updated last week
- Inpla: Interaction nets as a programming language (the current version)β303Updated 7 months ago
- A series of down-to-earth articles on implementing type inferenceβ156Updated 5 years ago
- A simple ML-like programming language with subtyping and full type inference.β173Updated 6 months ago
- A functional programming language with shell scripting capabilitiesβ114Updated 5 months ago
- A language with lexical effect handlers and lightweight effect polymorphismβ361Updated this week
- Dependent type checker using normalisation by evaluationβ260Updated 8 months ago
- Staged compilation with dependent typesβ173Updated 3 weeks ago
- Programming with pure lambda calculusβ107Updated last month
- Fir programming languageβ53Updated this week
- Spartan type theoryβ266Updated last year
- Embeddable Lambda Prolog Interpreterβ312Updated last week
- Lock-free data structures for multicore OCamlβ244Updated last week
- πTTβ227Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IRβ222Updated last year
- A modern supercompiler for call-by-value functional languagesβ414Updated last month
- A declarative concatenative programming languageβ164Updated 7 months ago
- Haskell implemented with combinatorsβ481Updated last week
- A fast functional language based on two level type theoryβ390Updated 2 years ago
- The Flambda backend project for OCamlβ146Updated this week
- Proof assistant based on the λΠ-calculus modulo rewritingβ334Updated 2 weeks ago
- Pure functional programming with whole-program mutability inferenceβ69Updated 2 weeks ago
- β119Updated last year
- Trying to write an understandable implementation of Haskell, in Haskellβ125Updated 4 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β62Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to haβ¦β191Updated this week
- 1ML prototype interpreterβ282Updated 4 years ago
- The adventures of a Haskell compilerβ225Updated 3 weeks ago
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β245Updated this week