Koka Language and Related Tools

Results 5 repositories owned by Koka Language and Related Tools

koka

3.1k
Stars
150
Forks
Watchers

Koka language compiler and interpreter

verified publisher icon koka-lang

libhandler

178
Stars
14
Forks
Watchers

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

verified publisher icon koka-lang

madoko

382
Stars
40
Forks
Watchers

Madoko is a fast markdown processor for high quality academic and technical articles

verified publisher icon koka-lang

libmprompt

104
Stars
11
Forks
Watchers

Robust multi-prompt delimited control and effect handlers in C/C++

verified publisher icon koka-lang

nodec

34
Stars
2
Forks
Watchers

NodeC -- A lean NodeJS in C using algebraic effect handlers.

verified publisher icon koka-lang