brendanzab / language-garden
A garden of small programming language implementations 🪴
☆223Updated this week
Alternatives and similar repositories for language-garden:
Users that are interested in language-garden are comparing it to the libraries listed below
- Admiran compiler, library, and examples☆62Updated last week
- A series of down-to-earth articles on implementing type inference☆154Updated 4 years ago
- A simple ML-like programming language with subtyping and full type inference.☆172Updated 5 months ago
- Staged compilation with dependent types☆171Updated 2 weeks ago
- A language with lexical effect handlers and lightweight effect polymorphism☆356Updated this week
- A Language with Dependent Data and Codata Types☆102Updated this week
- A functional programming language with shell scripting capabilities☆114Updated 4 months ago
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- Spartan type theory☆265Updated 11 months ago
- A simple library for reporting compiler/interpreter errors☆263Updated 8 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆231Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- A modern supercompiler for call-by-value functional languages☆408Updated 2 weeks ago
- Programming with pure lambda calculus☆106Updated 2 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆300Updated 6 months ago
- Lock-free data structures for multicore OCaml☆244Updated 4 months ago
- A declarative concatenative programming language☆164Updated 6 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆187Updated this week
- Embeddable Lambda Prolog Interpreter☆311Updated this week
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆43Updated 2 months ago
- Haskell implemented with combinators☆476Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆324Updated last week
- 1ML prototype interpreter☆282Updated 4 years ago
- A categorical programming language with effects☆277Updated 2 years ago
- The Flambda backend project for OCaml☆142Updated this week
- 😎TT☆226Updated last year
- A language server for Standard ML in Rust.☆223Updated last month
- The adventures of a Haskell compiler☆225Updated 5 months ago
- agda-mode for neovim☆153Updated last month