Koka language compiler and interpreter

Koka grammar for tree-sitter

A small functional language with effect inference based on Koka.

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

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

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

A comprehensive Neovim plugin for the Koka programming language, providing syntax highlighting, LSP integration, TreeSitter support, and intelligent code execution.

Syntax support for the Madoko language

hica is a high-performance, expression-oriented programming language that transpiles to Koka

A Koka library for competitive programming

A UI library in Koka that uses effects to provide a concise tree builder and efficiently compute layouts

klap is clap for Koka

📚️ A repository for showcasing my knowledge of the Koka programming language, and continuing to learn the language.

⌨️ The Koka programming language IDE submodule for SNU Programming Tools (2D Mode)

Advent of Code 2024

A Koka port of Concur UI toolkit

Koka http library built on top of libcurl

Lightweight xUnit-style test framework for Koka

My explorations of the koka language.

Compare size of compiled languages