koka
There are 20 repositories under koka topic.
koka-lang/koka
Koka language compiler and interpreter
mtoohey31/tree-sitter-koka
Koka grammar for tree-sitter
aatxe/diet-coke
A small functional language with effect inference based on Koka.
Nymphium/vim-koka
vim utilities for koka language https://github.com/koka-lang/koka
danr/koka-slides
Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"
chester-lang/chester
Trying to make a practical possibly unsound dependently typed language with algebraic effects
maelvls/madoko-vscode
Syntax support for the Madoko language
ajnsit/cocoa
A Koka port of Concur UI toolkit
brainwo/compare-compiled-languages-size
Compare size of compiled languages
ivanstodorov/chess-game-koka
A shared-screen multiplayer text-based chess game, written in Koka.
neysofu/advent-of-code-2022
My Advent of Code 2022 solutions, in Koka 🎄🎁
stephentetley/koka-doodle
Small examples written in Koka
roccojiang/advent-of-code-2022
Personal Koka solutions for Advent of Code 2021
samosica/compkoka
A Koka library for competitive programming
bearddan2000/koka-cli-hello-world
A POC for koka programming language.
brecert/koka-moto
a base for learning and writing more koka
Matthew-Mosior/Advent-of-Code-2017
Advent of Code 2017 using Koka lang.
MF42-DZH/Advent-of-Code-2022-Koka
An attempt at Advent of Code 2022, in Koka.
spl/homebrew-koka
Homebrew tap for Koka and Madoko
thara/koka-lifegame
Conway's Game of Life written by Koka