Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
☆215Jul 28, 2020Updated 5 years ago
Alternatives and similar repositories for libhandler
Users that are interested in libhandler are comparing it to the libraries listed below
Sorting:
- Robust multi-prompt delimited control and effect handlers in C/C++☆132Nov 28, 2023Updated 2 years ago
- Pinocchio VM☆21Oct 1, 2020Updated 5 years ago
- A collection of code related to the HANSEI language☆10Jun 14, 2016Updated 9 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 4 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆146Mar 29, 2019Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- ☆12Sep 3, 2020Updated 5 years ago
- A template for structuring your Carp packages☆18May 9, 2020Updated 5 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,115Nov 4, 2025Updated 3 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆91Dec 10, 2018Updated 7 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆421Feb 20, 2026Updated last week
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- Algebraic Effect Handlers for Clojure☆46Aug 19, 2013Updated 12 years ago
- Frank compiler☆305Apr 23, 2024Updated last year
- Koka language compiler and interpreter☆3,817Updated this week
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- HTML5 ES6 canvas candlestick chart with probability heatmap overlay. Built to display stock and currency forecasts.☆13May 23, 2015Updated 10 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- Probabilistic miniKanren☆67Oct 20, 2015Updated 10 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- higher order dependently typed logic programing☆173Aug 7, 2018Updated 7 years ago
- Efficient Haskell effect handlers based on evidence translation.☆86Jul 19, 2021Updated 4 years ago
- Dealing with Flags and Options☆13Sep 10, 2021Updated 4 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- ☆16Feb 18, 2025Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆214Updated this week
- A functional programming language based on algebraic effect handlers☆905Nov 10, 2025Updated 3 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆60Jun 18, 2024Updated last year
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆548Dec 18, 2025Updated 2 months ago
- Backend core needed for automated trading☆88Dec 1, 2023Updated 2 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- ☆21May 8, 2015Updated 10 years ago
- A pure subset of Prolog, implemented in Haskell☆31Jul 19, 2013Updated 12 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- A prototype programming language for programming with runners☆92Aug 20, 2021Updated 4 years ago
- A small implementation of higher-order unification☆192Aug 6, 2017Updated 8 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆77Jul 30, 2018Updated 7 years ago