koka-lang / libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
☆115Updated last year
Alternatives and similar repositories for libmprompt:
Users that are interested in libmprompt are comparing it to the libraries listed below
- A compiler for functional programs on serialized data☆158Updated this week
- 1ML prototype interpreter☆280Updated 4 years ago
- Prototype type inference engine☆201Updated last month
- The Makam Metalanguage☆198Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆195Updated 4 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- an implementation of stuck macros☆139Updated this week
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- A deterministic parser with fused lexing☆72Updated last year
- Parallel ML compiler☆72Updated 4 years ago
- Alternative algorithm for algebraic subtyping.☆157Updated 3 months ago
- MetaML and MetaOCaml bibliography☆89Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- Staged compilation with dependent types☆168Updated last week
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- SML reference interpreter☆112Updated last year
- A pure type system implemented in OCaml☆78Updated 4 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Software Transactional Memory for OCaml☆117Updated 2 months ago
- Normalization by Evaluation for Martin-Löf Type Theory☆123Updated 9 months ago
- A prototype programming language for programming with runners☆89Updated 3 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- ☆136Updated 2 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆79Updated 3 years ago
- An interactive theorem prover based on lambda-tree syntax☆94Updated last month
- A toy language based on LLVM that implements the System Fω type-system☆107Updated last year