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-effectshandlereffect-handlershaskellkoka
      Haskell
      •
      Other
      •164•3.3k•149•28•Updated Oct 6, 2024Oct 6, 2024

    • madoko

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

    • AddressC

      Public
      Coq
      •
      MIT License
      •1•8•0•0•Updated Apr 28, 2024Apr 28, 2024

    • libmprompt

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

    • koka-lang.github.io

      Public
      Koka language web pages
      HTML
      •
      MIT License
      •0•2•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
      •15•187•3•2•Updated Jul 28, 2020Jul 28, 2020

    • nodec

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