5 results found Sort:

koka-lang
koka koka-lang
151
3.2k
other
60
Koka language compiler and interpreter
koka handler haskell effect-handlers algebraic-effects
Created 2016-12-08
5,032 commits to dev branch, last one 21 days ago
links-lang
links links-lang
42
318
other
18
Links: Linking Theory to Practice for the Web
tierless multi-tier session-types effect-handlers web-programming language-integrated-query
Created 2014-01-24
2,911 commits to master branch, last one 3 months ago
effekt-lang
effekt effekt-lang
14
301
mit
8
A research language with effect handlers and lightweight effect polymorphism
effects handlers language control-flow effect-systems effect-handlers language-design research-project algebraic-effects delimited-continuation
Created 2020-03-05
2,804 commits to master branch, last one a day ago
maciejpirog
cpp-effects maciejpirog
10
113
mit
5
Effect handlers in C++
concurrency error-handling effect-handlers algebraic-effects dependency-injection
Created 2022-02-09
204 commits to main branch, last one 8 months ago
dhil
ocaml-multicont dhil
2
43
mit
3
multi-shot continuations in OCaml
deep ocaml shallow multi-shot continuations effect-handlers
Created 2022-01-03
176 commits to main branch, last one 27 days ago