Koka Language and Related Tools

koka Public

Koka language compiler and interpreter

Koka 4,001 214 226 60 Updated Aug 1, 2026

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

C 139MIT 17 4 2 Updated Mar 24, 2026

Coq 14MIT 2 0 0 Updated May 28, 2025

madoko Public

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

HTML 412 40 58 9 Updated Sep 9, 2024

Koka language web pages

HTML 4MIT 1 0 0 Updated Dec 14, 2020

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

C 229 18 3 2 Updated Jul 28, 2020

nodec Public

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

C 38 3 0 0 Updated Feb 11, 2019

Navigation Menu