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

koka-lang

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

Top repositories

1

koka

Koka language compiler and interpreter
Haskell
3,083
star
2

madoko

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

libhandler

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

libmprompt

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

nodec

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

AddressC

Coq
6
star
7

koka-lang.github.io

Koka language web pages
HTML
2
star