https://github.com/koka-lang/koka

Koka language compiler and interpreter

algebraic-effects effect-handlers handler haskell koka

Last synced: 13 May 2025

https://github.com/mtoohey31/tree-sitter-koka

Koka grammar for tree-sitter

koka parser tree-sitter

Last synced: 27 Apr 2025

https://github.com/aatxe/diet-coke

A small functional language with effect inference based on Koka.

effects functional-languages inference interpreter koka programming-language repl

Last synced: 14 Apr 2025

https://github.com/danr/koka-slides

Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"

algebraic-effects effects koka

Last synced: 22 Apr 2025

https://github.com/maelvls/madoko-vscode

Syntax support for the Madoko language

koka language madoko

Last synced: 18 Mar 2025

https://github.com/neysofu/advent-of-code-2022

My Advent of Code 2022 solutions, in Koka 🎄🎁

advent-of-code-2022 koka

Last synced: 01 Apr 2025

https://github.com/semarie/koka-ports

development repository for lang/koka openbsd port tree

koka openbsd ports

Last synced: 09 Apr 2025

https://github.com/brecert/koka-moto

a base for learning and writing more koka

koka

Last synced: 23 Feb 2025

https://github.com/spl/homebrew-koka

Homebrew tap for Koka and Madoko

homebrew homebrew-tap koka madoko

Last synced: 09 Apr 2025

https://github.com/shnarazk/learn-koka

koka

Last synced: 20 Mar 2025