Koka Language and Related Tools

Pinned Repositories

AddressC
Language:Coq8 4 01
koka
Koka language compiler and interpreter
Language:Haskell3.4k 60 356170
koka-lang.github.io
Koka language web pages
Language:HTML2 3 00
libhandler
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
Language:C194 11 1015
libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
Language:C115 6 713
madoko
Madoko is a fast markdown processor for high quality academic and technical articles
Language:HTML394 15 7240
nodec
NodeC -- A lean NodeJS in C using algebraic effect handlers.
Language:C33 6 02

Koka Language and Related Tools's Repositories

koka-lang/koka
Koka language compiler and interpreter
Language:Haskell3.4k 60 356170
koka-lang/madoko
Madoko is a fast markdown processor for high quality academic and technical articles
Language:HTML394 15 7240
koka-lang/libhandler
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
Language:C194 11 1015
koka-lang/libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
Language:C115 6 713
koka-lang/nodec
NodeC -- A lean NodeJS in C using algebraic effect handlers.
Language:C33 6 02
koka-lang/AddressC
Language:Coq8 4 01
koka-lang/koka-lang.github.io
Koka language web pages
Language:HTML2 3 00