Koka Language and Related Tools (@koka-lang)
Guthub

koka-lang

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3,966
  • Global Org. Rank 5,584 (Top 2 %)
  • Registered almost 8 years ago
  • Most used languages
    C
         42.9 %
    HTML
         28.6 %
    Haskell
         14.3 %
    Coq     14.3 %

Top repositories

1

koka

Koka language compiler and interpreter
Haskell
3,272
star
2

madoko

Madoko is a fast markdown processor for high quality academic and technical articles
HTML
393
star
3

libhandler

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

libmprompt

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

nodec

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

AddressC

Coq
8
star
7

koka-lang.github.io

Koka language web pages
HTML
2
star