GitHub topics: effect-handlers
chester-lang/chester
Trying to make a practical possibly unsound dependently typed language with algebraic effects
Language: Scala - Size: 58.8 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 7 - Forks: 1
effekt-lang/effekt
A language with lexical effect handlers and lightweight effect polymorphism
Language: Scala - Size: 21 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 375 - Forks: 35
foxfriends/trilogy
Actually just three programming languages in a trenchcoat
Language: Rust - Size: 4.14 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0
koka-lang/koka
Koka language compiler and interpreter
Language: Haskell - Size: 45.6 MB - Last synced at: 17 days ago - Pushed at: 24 days ago - Stars: 3,507 - Forks: 180
links-lang/links
Links: Linking Theory to Practice for the Web
Language: OCaml - Size: 27.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 339 - Forks: 43
vchlin/corofx
Typed effect handlers for C++20 using coroutines.
Language: C++ - Size: 85.9 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 15 - Forks: 1
yallop/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
Size: 212 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1,027 - Forks: 87
wasmfx/wasmfx-tools Fork of bytecodealliance/wasm-tools
A fork of wasm-tools (low level tooling for WebAssembly in Rust) supporting the WasmFX instruction set
Language: Rust - Size: 21 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 5 - Forks: 1
wasabi315/eff-ts
Effect handlers using JS/TS Generators
Language: TypeScript - Size: 63.5 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0
omentic/cio
A structural effect handlers library for Racket
Language: Racket - Size: 25.4 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0
dhil/phd-dissertation
A summary of my activities during the past four years
Language: TeX - Size: 6.01 MB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 29 - Forks: 0
wasmfx/specfx Fork of WebAssembly/spec
WebAssembly specification, reference interpreter, and test suite.
Language: WebAssembly - Size: 71.2 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 7 - Forks: 2
hx-lang/hx
an effect handler-oriented programming language
Language: OCaml - Size: 81.1 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0
dhil/ocaml-multicont
multi-shot continuations in OCaml
Language: OCaml - Size: 195 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 48 - Forks: 2
dhil/pthandlers
an encoding of affine effect handlers using pthreads
Language: C - Size: 95.7 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 1
wasmfx/wasmfxtime Fork of bytecodealliance/wasmtime
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
Language: Rust - Size: 107 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 19 - Forks: 1
dhil/asymptotic-speedup-via-effect-handlers-code-jfp
Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
Language: OCaml - Size: 139 KB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
gidra5/miniUni
A concurrent scripting language
Language: TypeScript - Size: 696 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
Zeta611/effect_based_interpreter
🪄 A modular interpreter using effects and effect handlers
Language: OCaml - Size: 4.88 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
maciejpirog/cpp-effects
Effect handlers in C++
Language: C++ - Size: 249 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 113 - Forks: 10
dhil/generic-count
implementing generic count using undelimited continuations, delimited continuations, and effect handlers
Language: OCaml - Size: 13.7 KB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 0
raheemadamboev/derivedstateof-remember
A simple app that demonstrates using derivedStateOf effect handler by comparing it to remember function
Language: Kotlin - Size: 9.79 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
effect-handlers/effect-handlers.github.io
Source code for the effect handlers website
Language: HTML - Size: 44.8 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 2
effect-handlers/wasm-effect-handlers 📦
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
Language: WebAssembly - Size: 9.56 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 33 - Forks: 2
Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Language: Coq - Size: 388 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 1
raheemadamboev/effect-handlers
Use cases of different effect handlers in Jetpack Compose
Language: Kotlin - Size: 232 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
ebresafegaga/tina
Tina, a programming language with typed algebraic effects and handlers.
Language: OCaml - Size: 8.9 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1
dhil/hank
a research programming language based on handlers
Language: OCaml - Size: 65.4 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
wasmfx/wasmfx.github.io
Website for WasmFX
Language: HTML - Size: 208 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1
wasmfx/wasmfx-spec
mirror of https://github.com/effect-handlers/wasm-spec
Language: WebAssembly - Size: 65.2 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
dhil/google-tech-talk-2018
Materials for my Google Tech Talk 2018
Language: OCaml - Size: 1.1 MB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0