Koka Language and Related Tools (koka-lang)

Koka Language and Related Tools

koka-lang

Geek Repo

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Koka Language and Related Tools's repositories

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:2132Issues:55Issues:174

madoko

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

Language:HTMLLicense:NOASSERTIONStargazers:338Issues:18Issues:71

libhandler

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

Language:CLicense:NOASSERTIONStargazers:157Issues:9Issues:8

libmprompt

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

Language:CLicense:MITStargazers:74Issues:3Issues:6

nodec

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

Language:CLicense:Apache-2.0Stargazers:31Issues:5Issues:0

koka-lang.github.io

Koka language web pages

Language:HTMLLicense:MITStargazers:2Issues:2Issues:0