a base for learning and writing more koka

Personal Koka solutions for Advent of Code 2021

A POC for koka programming language.

An attempt at Advent of Code 2022, in Koka.

Advent of Code 2017 using Koka lang.

Conway's Game of Life written by Koka

Homebrew tap for Koka and Madoko

A Koka library for competitive programming

A Koka port of Concur UI toolkit

My Advent of Code 2022 solutions, in Koka 🎄🎁

Small examples written in Koka

Compare size of compiled languages

A shared-screen multiplayer text-based chess game, written in Koka.

Syntax support for the Madoko language

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

Trying to make a practical possibly unsound dependently typed language with algebraic effects

vim utilities for koka language https://github.com/koka-lang/koka

A small functional language with effect inference based on Koka.

Koka grammar for tree-sitter

Koka language compiler and interpreter