Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
-
Updated
Feb 19, 2024 - OCaml
Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
A simple app that demonstrates using derivedStateOf effect handler by comparing it to remember function
an effect handler-oriented programming language
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
Effect handlers using JS/TS Generators
Trying to make a practical possibly unsound dependently typed language with algebraic effects
A fork of wasmtime (a fast and secure runtime for WebAssembly) 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
WebAssembly specification, reference interpreter, and test suite.
a research programming language based on handlers
Actually just three programming languages in a trenchcoat
Materials for my Google Tech Talk 2018
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Tina, a programming language with typed algebraic effects and handlers.
Source code for the effect handlers website
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."