lpeterse/koka external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lpeterse/koka

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lpeterse/koka)

Close

lpeterse / kokaView on GitHubMore

• External links
• Readme badge

A function-oriented language with effect inference

☆19May 22, 2014Updated 11 years ago

Alternatives and similar repositories for koka

Users that are interested in koka are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• vincenzoml / topochecker

  View on GitHub
  Topochecker, a topological model checker
  ☆19Nov 19, 2019Updated 6 years ago
• AndrasKovacs / flat-maybe

  View on GitHub
  Rust-style strict Maybe in Haskell: no space/indirection overhead.
  ☆18Jan 15, 2024Updated 2 years ago
• ganlvtech / taskmgr-drawing

  View on GitHub
  Paint black and white video on taskmgr window
  ☆15Jul 9, 2022Updated 3 years ago
• OpenType / opentype-next

  View on GitHub
  Ideas for fundamental changes to the spec
  ☆14Dec 28, 2019Updated 6 years ago
• gongminmin / CPU-T

  View on GitHub
  An open source CPU detection software.
  ☆20Jun 6, 2015Updated 10 years ago
• jwiegley / simple-conduit

  View on GitHub
  ☆24Jan 23, 2017Updated 9 years ago
• ekmett / charset

  View on GitHub
  fast utf-8 character sets
  ☆14Mar 3, 2025Updated last year
• nojb / llvm-tiger

  View on GitHub
  A compiler for the Tiger programming language targeting LLVM
  ☆13Aug 10, 2025Updated 7 months ago
• bitonic / tog

  View on GitHub
  ☆26Feb 7, 2017Updated 9 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• Gabriella439 / Haskell-Pipes-Parse-Library

  View on GitHub
  Parsing for the pipes ecosystem
  ☆29Apr 8, 2023Updated 2 years ago
• eckyputrady / livelog

  View on GitHub
  time tracker in haskell
  ☆10Jul 21, 2015Updated 10 years ago
• stackbuilders / atomic-write

  View on GitHub
  Writes files atomically in Haskell while preserving permissions
  ☆19Aug 21, 2025Updated 7 months ago
• gangliao / cmake_cxx_go

  View on GitHub
  ☆14May 4, 2017Updated 8 years ago
• chenrui333 / rules_avro

  View on GitHub
  🍃 bazel rules for generating code from avro schemas
  ☆14Mar 10, 2026Updated last week
• Antique-team / clangml

  View on GitHub
  OCaml bindings for clang
  ☆23May 1, 2018Updated 7 years ago
• launchdarkly / haskell-server-sdk

  View on GitHub
  LaunchDarkly Server-Side SDK for Haskell
  ☆15Feb 24, 2026Updated 3 weeks ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• nojb / ocaml-maildir

  View on GitHub
  OCaml library to access Maildir folders
  ☆19Feb 25, 2019Updated 7 years ago
• JaimieMurdock / HK

  View on GitHub
  HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.
  ☆24Sep 25, 2011Updated 14 years ago
• orbitz / opass

  View on GitHub
  Simple password db
  ☆23Nov 23, 2018Updated 7 years ago
• typesanitizer / b2piet

  View on GitHub
  ☆10Nov 1, 2017Updated 8 years ago
• BJTerry / mailchimp

  View on GitHub
  Package for using the Mailchimp API in Haskell
  ☆14Aug 23, 2013Updated 12 years ago
• janestreet / sexplib0

  View on GitHub
  Library containing the definition of S-expressions and some base converters
  ☆20Jan 15, 2026Updated 2 months ago
• mchakravarty / hoas-conv

  View on GitHub
  Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)
  ☆21Apr 2, 2013Updated 12 years ago
• pvdz / preval

  View on GitHub
  A wannabe JS compiler (still very much wip, not production ready)
  ☆16Jul 11, 2025Updated 8 months ago
• agocorona / TCache

  View on GitHub
  Transactional cache with configurable persistence
  ☆45Apr 2, 2023Updated 2 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 3 years ago
• idris-lang / idris-tutorial

  View on GitHub
  A tutorial to the Idris Programming Language.
  ☆96Dec 16, 2015Updated 10 years ago
• nian-hu / SoloBnB

  View on GitHub
  Airbnb-inspired single-page application geared toward solo travelers. Created with React, Redux, and Rails backend.
  ☆10Jan 19, 2023Updated 3 years ago
• Khan / react-native-codegen

  View on GitHub
  Generating bindings between js & native via flow types
  ☆16Mar 7, 2016Updated 10 years ago
• square / rough

  View on GitHub
  Rough is RPC for Rails.
  ☆18Sep 19, 2017Updated 8 years ago
• middlefeng / NuoWindows

  View on GitHub
  ☆16Nov 23, 2022Updated 3 years ago
• Drup / fugit

  View on GitHub
  A small CLI to launch notifications at a given time
  ☆13Sep 9, 2020Updated 5 years ago
• polytypic / par-ml

  View on GitHub
  Experimental parallel and concurrent OCaml
  ☆14Jan 28, 2023Updated 3 years ago
• paurkedal / ocaml-radixmap

  View on GitHub
  Map à la Binary Radix Tree
  ☆19Mar 10, 2022Updated 4 years ago
• nraynaud / polygonsJS

  View on GitHub
  some training polygons algorithms
  ☆13Sep 22, 2024Updated last year
• japesinator / Idris-Bifunctors

  View on GitHub
  A small bifunctor library for idris
  ☆21Dec 28, 2020Updated 5 years ago
• brianc / stylus-blueprint

  View on GitHub
  Blueprint ported to stylus
  ☆17Apr 10, 2012Updated 13 years ago