Skip to content

@koka-community koka-community

Change the repository type filter

All

    Repositories list

    32 repositories

    • std

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

    • uv

      Public
      Libuv bindings & wrapper libraries
      C
      •2•2•0•1•Updated May 3, 2026May 3, 2026

    • setup-koka

      Public
      A github action workflow to setup the koka compiler and koka community repos
      Shell
      •
      MIT License
      •1•2•0•0•Updated May 2, 2026May 2, 2026

    • type-level

      Public
      Type Level Structures
      Koka
      •
      MIT License
      •0•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • alex

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

    • html

      Public
      A library for working with html with no dependency on the browser
      Koka
      •
      MIT License
      •3•7•0•0•Updated Mar 7, 2026Mar 7, 2026

    • tree-sitter-koka

      Public
      Koka grammar for tree-sitter
      tree-sitterparserkoka
      tree-sitterparserkoka
      JavaScript
      •
      MIT License
      •7•18•1•1•Updated Feb 23, 2026Feb 23, 2026

    • koka-docs

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

    • reactives

      Public
      Koka
      •
      MIT License
      •1•4•0•0•Updated Dec 19, 2025Dec 19, 2025

    • madoko

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

    • rosetta

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

    • parsing

      Public
      A collection of different parsing approaches, comparisons, benchmarks, and parsers for different languages
      Logos
      •
      Other
      •1•3•0•0•Updated 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
      •1•2•0•0•Updated Nov 3, 2025Nov 3, 2025

    • koka-community

      Public
      A meta repository containing all the goodies in one clone :)
      MIT License
      •1•4•0•0•Updated Sep 19, 2025Sep 19, 2025

    • tree-sitter

      Public
      Koka tree-sitter wrapper
      Koka
      •
      MIT License
      •1•2•0•0•Updated Sep 12, 2025Sep 12, 2025

    • samples

      Public
      Some more samples of different Koka programming patterns
      MIT License
      •1•6•0•0•Updated Jul 4, 2025Jul 4, 2025

    • koka-textmate-grammar

      Public
      Other
      •1•2•0•0•Updated Apr 25, 2025Apr 25, 2025

    • .github

      Public
      1•2•0•0•Updated Apr 22, 2025Apr 22, 2025

    • template

      Public template
      Template Repo
      MIT License
      •1•2•0•0•Updated Mar 6, 2025Mar 6, 2025

    • benchmarks-game

      Public
      https://benchmarksgame-team.pages.debian.net/benchmarksgame/
      MIT License
      •1•2•0•0•Updated 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
      •2•2•0•0•Updated Oct 5, 2024Oct 5, 2024

    • nodejs-net

      Public
      NodeJS network bindings and utilities
      Other
      •1•2•0•0•Updated Sep 4, 2024Sep 4, 2024

    • serjson

      Public
      simple JSON serialization and deserialization
      Other
      •1•3•0•1•Updated Jul 11, 2024Jul 11, 2024

    • web

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

    • native

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

    • mbedtls

      Public
      Koka bindings to the mbedtls library
      Other
      •1•2•0•0•Updated May 10, 2024May 10, 2024

    • zlib

      Public
      Koka bindings to the Zlib library
      C
      •
      Other
      •1•2•0•0•Updated May 10, 2024May 10, 2024

    • llhttp

      Public
      llhttp bindings to koka
      Other
      •1•2•0•0•Updated May 10, 2024May 10, 2024

    • diplomat

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

    • icu4x

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