Koka language compiler and interpreter
-
Updated
May 7, 2024 - Haskell
Koka language compiler and interpreter
Links: Linking Theory to Practice for the Web
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
an encoding of affine effect handlers using pthreads
Tina, a programming language with typed algebraic effects and handlers.
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
an effect handler-oriented programming language
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
WebAssembly specification, reference interpreter, and test suite.
A fork of wasm-tools (low level tooling for WebAssembly in Rust) supporting the WasmFX instruction set
A modular interpreter using effects and effect handlers
Use cases of different effect handlers in Jetpack Compose
Effect handlers using JS/TS Generators
a research programming language based on handlers
Actually just three programming languages in a trenchcoat
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."