koka-lang / libhandlerLinks
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
☆200Updated 5 years ago
Alternatives and similar repositories for libhandler
Users that are interested in libhandler are comparing it to the libraries listed below
Sorting:
- 1ML prototype interpreter☆285Updated 5 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆122Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆203Updated last year
- Standard ML Compiler and Toolkit☆292Updated 6 months ago
- Prototype type inference engine☆203Updated 6 months ago
- ☆87Updated 4 years ago
- nanopass compiler framework for Racket☆189Updated last year
- The Makam Metalanguage☆198Updated 2 years ago
- SML reference interpreter☆116Updated last week
- A small compiler for PCF☆125Updated 4 years ago
- Nanopass for OCaml☆146Updated 7 years ago
- A compiler for functional programs on serialized data☆165Updated last month
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Malfunctional Programming☆350Updated 8 months ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Parallel ML compiler☆73Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆368Updated last month
- The Higher-Order Intermediate Representation☆156Updated this week
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆212Updated 2 years ago
- A less devious proof assistant☆225Updated 2 years ago
- A Compiler for the Popr Language☆249Updated 4 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 11 months ago
- An in-memory datalog implementation for OCaml.☆270Updated 9 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆350Updated last year
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆118Updated 4 years ago
- ☆137Updated 3 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago