brendanzab / language-garden
A garden of small programming language implementations 🪴
☆177Updated last week
Related projects ⓘ
Alternatives and complementary repositories for language-garden
- Staged compilation with dependent types☆162Updated this week
- A functional programming language with shell scripting capabilities☆97Updated last month
- A simple ML-like programming language with subtyping and full type inference.☆164Updated 6 months ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A Language with Dependent Data and Codata Types☆58Updated this week
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- A declarative concatenative programming language☆158Updated last month
- Inpla: Interaction nets as a programming language (the current version)☆279Updated 3 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- Lock-free data structures for multicore OCaml☆203Updated this week
- A simple library for reporting compiler/interpreter errors☆260Updated 3 months ago
- ☆110Updated 9 months ago
- Spartan type theory☆257Updated 6 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆221Updated 10 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 5 months ago
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- Haskell implemented with combinators☆368Updated this week
- 😎TT☆219Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆173Updated this week
- A proof assistant for higher-dimensional type theory☆147Updated last week
- A fast functional language based on two level type theory☆388Updated last year
- agda-mode for neovim☆134Updated 3 weeks ago
- Alternative algorithm for algebraic subtyping.☆149Updated 3 weeks ago
- A language server for Standard ML.☆219Updated 2 months ago
- A categorical programming language with effects☆267Updated last year
- Standard ML of New Jersey☆184Updated last week
- The Flambda backend project for OCaml☆113Updated this week