Koka language compiler and interpreter
-
Updated
Oct 17, 2025 - Koka
Koka language compiler and interpreter
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.
A Koka port of Concur UI toolkit
📚️ 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 shared-screen multiplayer text-based chess game, written in Koka.
Add a description, image, and links to the koka topic page so that developers can more easily learn about it.
To associate your repository with the koka topic, visit your repo's landing page and select "manage topics."