vmchale / kempe
Kempe is a compiled stack-based language
☆58Updated 4 months ago
Alternatives and similar repositories for kempe:
Users that are interested in kempe are comparing it to the libraries listed below
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- a functional programming language with algebraic effects and handlers☆81Updated this week
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 9 months ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- ICFP tutorial☆39Updated 3 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- Example row-polymorphism implementations☆61Updated last year
- ☆39Updated 6 months ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Pretty-print error messages of the ATS Compiler☆32Updated 5 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated last month
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 8 months ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated last month
- The Twelf Programming Language☆118Updated 2 weeks ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago