5 results found Sort:

koka-lang
koka koka-lang
166
3.3k
other
61
Koka language compiler and interpreter
koka handler haskell effect-handlers algebraic-effects
Created 2016-12-08
5,158 commits to dev branch, last one 28 days ago
effekt-lang
effekt effekt-lang
24
335
mit
11
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,263 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 about a month ago
maciejpirog
cpp-effects maciejpirog
10
116
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 about a month ago