There are 1 repository under koka topic.
Koka language compiler and interpreter
A small functional language with effect inference based on Koka.
Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"
Syntax support for the Madoko language
vim utilities for koka language https://github.com/koka-lang/koka
A Koka port of Concur UI toolkit
development repository for lang/koka openbsd port tree
Homebrew tap for Koka and Madoko