An implementation of scoped algebraic effects and handlers in Agda.
-
Updated
Mar 11, 2021 - TeX
#
scoped-effects
Here are 3 public repositories matching this topic...
A small TypeScript algebraic runtime for explicit effects, handlers, and scoped execution.
algebraic-effects typescript functional-programming runtime cancellation structured-concurrency effect-handlers effect-system scoped-effects typed-effects
-
Updated
Aug 24, 2026 - TypeScript
Experimental language for exploring scoped effects, named scopes, and coeffects
programming-language rust algebraic-effects compiler language-server effects javascript-compiler type-systems coeffects scoped-effects
-
Updated
Aug 2, 2026 - Rust
Add this topic to your repo
To associate your repository with the scoped-effects topic, visit your repo's landing page and select "manage topics."