koka

There are 1 repository under koka topic.

• koka

  koka-lang / koka

  Koka language compiler and interpreter

  algebraic-effectskokahandlerhaskelleffect-handlers
  Language:Haskell 2130

• aatxe / diet-coke

  A small functional language with effect inference based on Koka.

  effectsfunctional-languagesinferenceinterpreterkokaprogramming-languagerepl
  Language:Scala 7

• danr / koka-slides

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

  kokaeffectsalgebraic-effects
  Language:TypeScript 4

• maelvls / madoko-vscode

  Syntax support for the Madoko language

  madokokokalanguage
  4

• Nymphium / vim-koka

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

  kokavim-plugin
  Language:Vim script 3

• ajnsit / cocoa

  A Koka port of Concur UI toolkit

  concurkokauser-interfaceuiwebfrpelm-architecture
  Language:JavaScript 1

• semarie / koka-ports

  development repository for lang/koka openbsd port tree

  kokaopenbsdports
  Language:Makefile

• spl / homebrew-koka

  Homebrew tap for Koka and Madoko

  homebrewhomebrew-tapkokamadoko
  Language:Ruby