Koka language compiler and interpreter
Links: Linking Theory to Practice for the Web
Effect handlers in C++
multi-shot continuations in OCaml
WebAssembly specification, reference interpreter, and test suite with e...