koka

Koka language compiler and interpreter

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

Koka grammar for tree-sitter

A small functional language with effect inference based on Koka.

[AI Slop] 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.

Addictive algebraric effect driven precise reactive UI framework.

Syntax support for the Madoko language

klap is clap for 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

📚️ 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)

A Koka port of Concur UI toolkit

My explorations of the koka language.

Compare size of compiled languages

Small examples written in Koka

Lightweight xUnit-style test framework for Koka