Koka language compiler and interpreter
-
Updated
Dec 24, 2024 - Haskell
#
effect-handlers
Here are 27 public repositories matching this topic...
A language with lexical effect handlers and lightweight effect polymorphism
language algebraic-effects effects handlers control-flow language-design research-project delimited-continuation effect-handlers effekt effect-systems effekt-lang lexical-effect-handlers
-
Updated
Dec 26, 2024 - Scala
Links: Linking Theory to Practice for the Web
-
Updated
Oct 28, 2024 - OCaml
Effect handlers in C++
-
Updated
Oct 27, 2023 - C++
multi-shot continuations in OCaml
-
Updated
Oct 23, 2024 - OCaml
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
-
Updated
Jun 10, 2022 - WebAssembly
A summary of my activities during the past four years
algebraic-effects unix research functional-programming phd-thesis continuation-passing-style phd-dissertation continuations expressiveness effect-handlers abstract-machines expressivity computational-effects control-effects effect-handler-oriented-programming
-
Updated
Oct 11, 2024 - TeX
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
-
Updated
Dec 20, 2024 - Rust
an encoding of affine effect handlers using pthreads
-
Updated
Nov 15, 2022 - C
Tina, a programming language with typed algebraic effects and handlers.
programming-language algebraic-effects interpreter compiler llvm ocaml effects cps type-checking bidirectional-typechecking effect-handlers effect-system
-
Updated
Aug 13, 2021 - OCaml
A concurrent scripting language
-
Updated
Dec 18, 2024 - TypeScript
WebAssembly specification, reference interpreter, and test suite.
-
Updated
Dec 3, 2024 - WebAssembly
Trying to make a practical possibly unsound dependently typed language with algebraic effects
algebraic-effects dependent-types functional-programming racket effects koka toy-language idris toy-compiler macro object-oriented-programming effect-handlers toy-interpreter
-
Updated
Dec 24, 2024 - Scala
an effect handler-oriented programming language
programming-language algebraic-effects compiler runtime continuations effect-handlers computational-effects ehop effect-handler-oriented-programming
-
Updated
Aug 22, 2024 - OCaml
A fork of wasm-tools (low level tooling for WebAssembly in Rust) supporting the WasmFX instruction set
-
Updated
Dec 20, 2024 - Rust
implementing generic count using undelimited continuations, delimited continuations, and effect handlers
-
Updated
Jul 3, 2023 - OCaml
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
progress lambda-calculus theorem-proving coq-formalization preservation stlc effect-handlers effect-system nested-datatypes control-operators
-
Updated
Sep 15, 2022 - Coq
🪄 A modular interpreter using effects and effect handlers
-
Updated
Jan 16, 2024 - OCaml
Effect handlers using JS/TS Generators
-
Updated
Jun 30, 2024 - TypeScript
Use cases of different effect handlers in Jetpack Compose
-
Updated
Mar 3, 2022 - Kotlin
Improve this page
Add a description, image, and links to the effect-handlers topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the effect-handlers topic, visit your repo's landing page and select "manage topics."