Koka Language and Related Tools

Koka Language and Related Tools's repositories

Koka language compiler and interpreter

Language:HaskellNOASSERTION3050 60 269

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

Language:HTMLNOASSERTION382 15 72

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

Language:CNOASSERTION178 9 10

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

Language:CMIT104 5 7

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

Language:CNOASSERTION34 60

Language:CoqMIT6 40

Koka language web pages

Language:HTMLMIT2 30