Skip to content
@koka-lang

Koka Language and Related Tools

Pinned Loading

  1. koka koka Public

    Koka language compiler and interpreter

    Koka 3.6k 183

Repositories

Showing 7 of 7 repositories
  • koka Public

    Koka language compiler and interpreter

    koka-lang/koka’s past year of commit activity
    Koka 3,586 183 185 34 Updated Aug 1, 2025
  • AddressC Public
    koka-lang/AddressC’s past year of commit activity
    Coq 12 MIT 1 0 0 Updated May 28, 2025
  • madoko Public

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

    koka-lang/madoko’s past year of commit activity
    HTML 398 40 58 9 Updated Sep 9, 2024
  • libmprompt Public

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

    koka-lang/libmprompt’s past year of commit activity
    C 123 MIT 13 4 3 Updated Nov 28, 2023
  • koka-lang.github.io Public

    Koka language web pages

    koka-lang/koka-lang.github.io’s past year of commit activity
    HTML 2 MIT 0 0 0 Updated Dec 14, 2020
  • libhandler Public

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

    koka-lang/libhandler’s past year of commit activity
    C 200 16 3 2 Updated Jul 28, 2020
  • nodec Public

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

    koka-lang/nodec’s past year of commit activity
    C 34 2 0 0 Updated Feb 11, 2019

Most used topics

Loading…