5 results found Sort:

koka-lang
koka koka-lang
168
3.4k
other
60
Koka language compiler and interpreter
koka handler haskell effect-handlers algebraic-effects
Created 2016-12-08
5,170 commits to dev branch, last one 2 days ago
effekt-lang
effekt effekt-lang
30
338
mit
12
A language with lexical effect handlers and lightweight effect polymorphism
effekt effects handlers language effekt-lang control-flow effect-systems effect-handlers language-design research-project algebraic-effects delimited-continuation lexical-effect-handlers
Created 2020-03-05
3,283 commits to master branch, last one a day ago
links-lang
links links-lang
43
333
other
19
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,913 commits to master branch, last one 2 months ago
maciejpirog
cpp-effects maciejpirog
10
117
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 about a year ago
dhil
ocaml-multicont dhil
2
47
mit
5
multi-shot continuations in OCaml
deep ocaml shallow multi-shot continuations effect-handlers
Created 2022-01-03
186 commits to main branch, last one 2 months ago