Skip to content
Change the repository type filter

All

    Repositories list

    • A meta repository containing all the goodies in one clone :)
      MIT License
      0000Updated Dec 12, 2024Dec 12, 2024
    • std

      Public
      Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)
      C
      Other
      2331Updated Dec 11, 2024Dec 11, 2024
    • html

      Public
      A library for working with html with no dependency on the browser
      MIT License
      1400Updated Dec 3, 2024Dec 3, 2024
    • rosetta

      Public
      MIT License
      0000Updated Dec 2, 2024Dec 2, 2024
    • alex

      Public
      A lexical analyser generator for Koka
      Haskell
      BSD 3-Clause "New" or "Revised" License
      82000Updated Oct 13, 2024Oct 13, 2024
    • parsing

      Public
      A collection of different parsing approaches, comparisons, benchmarks, and parsers for different languages
      Logos
      Other
      0100Updated Oct 9, 2024Oct 9, 2024
    • samples

      Public
      Some more samples of different Koka programming patterns
      MIT License
      0300Updated Oct 5, 2024Oct 5, 2024
    • MIT License
      0000Updated 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
      1000Updated Oct 5, 2024Oct 5, 2024
    • template

      Public template
      Template Repo
      MIT License
      0000Updated Sep 30, 2024Sep 30, 2024
    • NodeJS network bindings and utilities
      Other
      0000Updated Sep 4, 2024Sep 4, 2024
    • serjson

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

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

      Public
      Additional documentation on less well known Koka features, links to papers, etc.
      CSS
      MIT License
      1200Updated Jun 20, 2024Jun 20, 2024
    • madoko

      Public
      Madoko is a fast markdown processor for high quality academic and technical articles
      HTML
      Other
      40000Updated May 13, 2024May 13, 2024
    • native

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

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

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

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

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

      Public
      Solving i18n for client-side and resource-constrained environments.
      Rust
      Other
      181000Updated May 8, 2024May 8, 2024
    • kunit

      Public
      Other
      0000Updated Apr 25, 2024Apr 25, 2024
    • Documentation for the Community (Guidelines, Rules, Organization, Licensing)
      MIT License
      0110Updated Apr 15, 2024Apr 15, 2024
    • .github

      Public
      0000Updated Apr 14, 2024Apr 14, 2024
    • Koka grammar for tree-sitter
      JavaScript
      MIT License
      1000Updated Jan 22, 2024Jan 22, 2024