Koka language compiler and interpreter
-
Updated
Jun 22, 2024 - Haskell
Koka language compiler and interpreter
Links: Linking Theory to Practice for the Web
A research language with effect handlers and lightweight effect polymorphism
Effect handlers in C++
Source code for the effect handlers website
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
multi-shot continuations in OCaml
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Tina, a programming language with typed algebraic effects and handlers.
A simple app that demonstrates using derivedStateOf effect handler by comparing it to remember function
Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
an effect handler-oriented programming language
an encoding of affine effect handlers using pthreads
A modular interpreter using effects and effect handlers
A summary of my activities during the past four years
A fork of wasm-tools (low level tooling for WebAssembly in Rust) supporting the WasmFX instruction set
Effect handlers using JS/TS Generators
Use cases of different effect handlers in Jetpack Compose
implementing generic count using undelimited continuations, delimited continuations, and effect handlers
Add a description, image, and links to the effect-handlers topic page so that developers can more easily learn about it.
To associate your repository with the effect-handlers topic, visit your repo's landing page and select "manage topics."