Skip to content

@koka-lang Koka Language and Related Tools

Change the repository type filter

All

    Repositories list

    7 repositories

    • koka

      Public
      Koka language compiler and interpreter
      algebraic-effectshaskellhandlerkokaeffect-handlers
      Koka
      •
      Other
      •195•3.8k•219•48•Updated Dec 22, 2025Dec 22, 2025

    • AddressC

      Public
      Coq
      •
      MIT License
      •2•14•0•0•Updated May 28, 2025May 28, 2025

    • madoko

      Public
      Madoko is a fast markdown processor for high quality academic and technical articles
      HTML
      •
      Other
      •41•405•58•9•Updated Sep 9, 2024Sep 9, 2024

    • libmprompt

      Public
      Robust multi-prompt delimited control and effect handlers in C/C++
      C
      •
      MIT License
      •15•130•4•3•Updated Nov 28, 2023Nov 28, 2023

    • koka-lang.github.io

      Public
      Koka language web pages
      HTML
      •
      MIT License
      •1•4•0•0•Updated Dec 14, 2020Dec 14, 2020

    • libhandler

      Public
      Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
      C
      •
      Other
      •18•207•3•2•Updated Jul 28, 2020Jul 28, 2020

    • nodec

      Public
      NodeC -- A lean NodeJS in C using algebraic effect handlers.
      C
      •
      Other
      •3•37•0•0•Updated Feb 11, 2019Feb 11, 2019