Koka language compiler and interpreter
-
Updated
May 25, 2024 - Haskell
Koka language compiler and interpreter
Links: Linking Theory to Practice for the Web
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
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
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
Effect handlers using JS/TS Generators
A summary of my activities during the past four years
an encoding of affine effect handlers using pthreads
A modular interpreter using effects and effect handlers
A fork of wasm-tools (low level tooling for WebAssembly in Rust) supporting the WasmFX instruction set
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."