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.

[LLM Slop] Trying to make a programming language with interesting features

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

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

Addictive algebraric effect driven precise reactive UI framework.

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

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.

A Koka port of Concur UI toolkit

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

Compare size of compiled languages

Small examples written in Koka

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

Online editor for koka-zero, runs code server-side