koka

Star

Here are 8 public repositories matching this topic...

koka-lang / koka

Star

Koka language compiler and interpreter

algebraic-effects haskell handler koka effect-handlers

Updated Mar 17, 2022
Haskell

aatxe / diet-coke

Star

A small functional language with effect inference based on Koka.

programming-language interpreter repl effects functional-languages inference koka

Updated Nov 19, 2016
Scala

danr / koka-slides

Star

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

algebraic-effects effects koka

Updated Oct 5, 2017
TypeScript

maelvls / madoko-vscode

Sponsor

Star

Syntax support for the Madoko language

language koka madoko

Updated Mar 1, 2018

Nymphium / vim-koka

Star

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

vim-plugin koka

Updated Sep 17, 2018
Vim script

ajnsit / cocoa

Star

A Koka port of Concur UI toolkit

ui web elm-architecture koka user-interface frp concur

Updated Sep 29, 2018
JavaScript

semarie / koka-ports

Star

development repository for lang/koka openbsd port tree

openbsd koka ports

Updated Mar 10, 2022
Makefile

spl / homebrew-koka

Star

Homebrew tap for Koka and Madoko

homebrew koka homebrew-tap madoko

Updated Oct 16, 2018
Ruby

Improve this page

Add a description, image, and links to the koka topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the koka topic, visit your repo's landing page and select "manage topics."

Learn more