koka-lang / libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
☆108Updated 9 months ago
Related projects: ⓘ
- A compiler for functional programs on serialized data☆157Updated last month
- The Makam Metalanguage☆187Updated last year
- A statically-typed programming language based on "F-ing modules"☆79Updated 4 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆186Updated 4 years ago
- ☆74Updated this week
- Prototype type inference engine☆191Updated last month
- Staged compilation with dependent types☆153Updated last week
- Parallel ML compiler☆71Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆251Updated 2 weeks ago
- Alternative algorithm for algebraic subtyping.☆144Updated 2 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆138Updated 6 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- 1ML prototype interpreter☆271Updated 4 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆80Updated 2 years ago
- SML reference interpreter☆110Updated last year
- an implementation of stuck macros☆130Updated 2 weeks ago
- SSA vs ANF☆41Updated 9 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆86Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 4 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- An interactive theorem prover based on lambda-tree syntax☆89Updated 3 weeks ago
- Build system☆119Updated 11 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆115Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 2 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago