Skip to content
Change the repository type filter

All

    Repositories list

    • std

      Public
      Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)
      Koka
      Other
      81245Updated May 3, 2026May 3, 2026
    • uv

      Public
      Libuv bindings & wrapper libraries
      C
      2201Updated May 3, 2026May 3, 2026
    • A github action workflow to setup the koka compiler and koka community repos
      Shell
      MIT License
      1200Updated May 2, 2026May 2, 2026
    • Type Level Structures
      Koka
      MIT License
      0000Updated Apr 1, 2026Apr 1, 2026
    • alex

      Public
      A lexical analyser generator for Koka
      Haskell
      BSD 3-Clause "New" or "Revised" License
      88000Updated Mar 30, 2026Mar 30, 2026
    • html

      Public
      A library for working with html with no dependency on the browser
      Koka
      MIT License
      3700Updated Mar 7, 2026Mar 7, 2026
    • Koka grammar for tree-sitter
      JavaScript
      MIT License
      71811Updated Feb 23, 2026Feb 23, 2026
    • koka-docs

      Public
      Additional documentation on less well known Koka features, links to papers, etc.
      CSS
      MIT License
      4500Updated Feb 12, 2026Feb 12, 2026
    • reactives

      Public
      Koka
      MIT License
      1400Updated Dec 19, 2025Dec 19, 2025
    • madoko

      Public
      Madoko is a fast markdown processor for high quality academic and technical articles
      HTML
      Other
      40000Updated Nov 21, 2025Nov 21, 2025
    • rosetta

      Public
      Rosetta Code examples: https://rosettacode.org/wiki/Category:Koka
      Koka
      MIT License
      2200Updated Nov 21, 2025Nov 21, 2025
    • parsing

      Public
      A collection of different parsing approaches, comparisons, benchmarks, and parsers for different languages
      Logos
      Other
      1300Updated Nov 3, 2025Nov 3, 2025
    • kokaw

      Public
      WIP: A koka community cli executable. Provides a quick start for using koka community packages in personal projects.
      Koka
      MIT License
      1200Updated Nov 3, 2025Nov 3, 2025
    • A meta repository containing all the goodies in one clone :)
      MIT License
      1400Updated Sep 19, 2025Sep 19, 2025
    • Koka tree-sitter wrapper
      Koka
      MIT License
      1200Updated Sep 12, 2025Sep 12, 2025
    • samples

      Public
      Some more samples of different Koka programming patterns
      MIT License
      1600Updated Jul 4, 2025Jul 4, 2025
    • Other
      1200Updated Apr 25, 2025Apr 25, 2025
    • .github

      Public
      1200Updated Apr 22, 2025Apr 22, 2025
    • template

      Public template
      Template Repo
      MIT License
      1200Updated Mar 6, 2025Mar 6, 2025
    • https://benchmarksgame-team.pages.debian.net/benchmarksgame/
      MIT License
      1200Updated Oct 5, 2024Oct 5, 2024
    • math

      Public
      A library for all your math and Koka related needs. This is not in the std repo because it relies on external libraries such as OpenBLAS.
      C
      MIT License
      2200Updated Oct 5, 2024Oct 5, 2024
    • NodeJS network bindings and utilities
      Other
      1200Updated Sep 4, 2024Sep 4, 2024
    • serjson

      Public
      simple JSON serialization and deserialization
      Other
      1301Updated Jul 11, 2024Jul 11, 2024
    • web

      Public
      Lightweight browser API bindings built around JS static interop.
      Dart
      BSD 3-Clause "New" or "Revised" License
      50000Updated Jul 7, 2024Jul 7, 2024
    • native

      Public
      Koka packages related to FFI and native assets bundling.
      Dart
      BSD 3-Clause "New" or "Revised" License
      117000Updated May 11, 2024May 11, 2024
    • mbedtls

      Public
      Koka bindings to the mbedtls library
      Other
      1200Updated May 10, 2024May 10, 2024
    • zlib

      Public
      Koka bindings to the Zlib library
      C
      Other
      1200Updated May 10, 2024May 10, 2024
    • llhttp

      Public
      llhttp bindings to koka
      Other
      1200Updated May 10, 2024May 10, 2024
    • diplomat

      Public
      Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
      Rust
      Other
      72000Updated May 9, 2024May 9, 2024
    • icu4x

      Public
      Solving i18n for client-side and resource-constrained environments.
      Rust
      Other
      266000Updated May 8, 2024May 8, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.