Koka language compiler and interpreter

Links: Linking Theory to Practice for the Web

A language with lexical effect handlers and lightweight effect polymorphism

Effect handlers in C++

multi-shot continuations in OCaml

WebAssembly specification, reference interpreter, and test suite with effect handlers extension.

A summary of my activities during the past four years

A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set

an encoding of affine effect handlers using pthreads

Tina, a programming language with typed algebraic effects and handlers.

WebAssembly specification, reference interpreter, and test suite.

an effect handler-oriented programming language

A fork of wasm-tools (low level tooling for WebAssembly in Rust) supporting the WasmFX instruction set

implementing generic count using undelimited continuations, delimited continuations, and effect handlers

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

Trying to make a practical possibly unsound dependently typed language with algebraic effects

🪄 A modular interpreter using effects and effect handlers

Effect handlers using JS/TS Generators

Use cases of different effect handlers in Jetpack Compose

Website for WasmFX