Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with koka
A curated list of projects in awesome lists tagged with koka .
https://github.com/koka-lang/koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Last synced: 12 Oct 2024
https://github.com/aatxe/diet-coke
A small functional language with effect inference based on Koka.
effects functional-languages inference interpreter koka programming-language repl
Last synced: 15 Oct 2024
https://github.com/maelvls/madoko-vscode
Syntax support for the Madoko language
Last synced: 13 Oct 2024
https://github.com/neysofu/advent-of-code-2022
My Advent of Code 2022 solutions, in Koka 🎄🎁
Last synced: 26 Oct 2024
https://github.com/semarie/koka-ports
development repository for lang/koka openbsd port tree
Last synced: 05 Nov 2024
