effect-handlers

There are 1 repository under effect-handlers topic.

koka
koka-lang / koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Language:Haskell 3093
links-lang / links
Links: Linking Theory to Practice for the Web
web-programming tierless multi-tier session-types effect-handlers language-integrated-query
Language:OCaml 318
maciejpirog / cpp-effects
Effect handlers in C++
algebraic-effects concurrency dependency-injection effect-handlers error-handling
Language:C++ 113
dhil / ocaml-multicont
multi-shot continuations in OCaml
multi-shot continuations ocaml effect-handlers deep shallow
Language:OCaml 42
effect-handlers / wasm-effect-handlers
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
effect-handlers algebraic-effects webassembly delimited-control proposal prototype-specification
Language:WebAssembly 32
dhil / phd-dissertation
A summary of my activities during the past four years
algebraic-effects effect-handlers continuations abstract-machines continuation-passing-style expressivity functional-programming research phd-thesis expressiveness control-effects computational-effects unix phd-dissertation effect-handler-oriented-programming
Language:TeX 27
dhil / pthandlers
an encoding of affine effect handlers using pthreads
computational-effects delimited-continuations effect-handlers fibers pthreads
Language:C 13
ebresafegaga / tina
Tina, a programming language with typed algebraic effects and handlers.
algebraic-effects effects effect-handlers effect-system llvm compiler programming-language interpreter type-checking ocaml cps bidirectional-typechecking
Language:OCaml 9
wasmfx / wasmfxtime
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
effect-handlers typed-continuations wasm wasmtime
Language:Rust 8
dhil / generic-count
implementing generic count using undelimited continuations, delimited continuations, and effect handlers
callcc effect-handlers generic-count generic-search shift-reset
Language:OCaml 5
dhil / hx
an effect handler-oriented programming language
effect-handlers computational-effects algebraic-effects programming-language compiler runtime ehop effect-handler-oriented-programming continuations
Language:OCaml 5
Kamirus / lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
stlc coq-formalization lambda-calculus nested-datatypes progress preservation theorem-proving control-operators effect-handlers effect-system
Language:Coq 4
wasmfx / specfx
WebAssembly specification, reference interpreter, and test suite.
effect-handlers specification typed-continuations wasm
Language:WebAssembly 4
wasmfx / wasmfx-tools
A fork of wasm-tools (low level tooling for WebAssembly in Rust) supporting the WasmFX instruction set
effect-handlers typed-continuations wasm wasm-tools
Language:Rust 3
raheemadamboev / effect-handlers
Use cases of different effect handlers in Jetpack Compose
jetpack-compose effect-handlers side-effects
Language:Kotlin 2
Zeta611 / effect_based_interpreter
A modular interpreter using effects and effect handlers
algebraic-effects effect-handlers interpreter monad monad-transformers ocaml
Language:OCaml 2
dhil / hank
a research programming language based on handlers
algebraic-effects compiler computational-effects effect-handlers programming-language
Language:OCaml 1
foxfriends / trilogy
Actually just three programming languages in a trenchcoat
effect-handlers functional-programming imperative-programming logic-programming programming-language
Language:Rust 1
wasabi315 / eff-ts
Effect handlers using JS/TS Generators
algebraic-effects effect-handlers typescript
Language:TypeScript 1
wasmfx / wasmfx.github.io
Website for WasmFX
effect-handlers typed-continuations wasm wasmfx
Language:HTML 1
effect-handlers / effect-handlers.github.io
Source code for the effect handlers website
effect-handlers effects website
Language:HTML 0
dhil / asymptotic-speedup-via-effect-handlers-code-jfp
Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
effect-handlers generic-search integration nqueens
Language:OCaml
dhil / google-tech-talk-2018
Materials for my Google Tech Talk 2018
concurrency effect-handlers effects ocaml
Language:OCaml
raheemadamboev / derivedstateof-remember
A simple app that demonstrates using derivedStateOf effect handler by comparing it to remember function
effect-handlers jetpack-compose material3 remember derived-state-of
Language:Kotlin