Skip to content
@koka-community

koka-community

This is intended to be a space where we can share code so others can easily find it, and explore some core APIs prior to integrating into the koka standard library

We should aim for most libraries to have a MIT license by default so that it is very permissive, with the understanding that the license will change to whatever Koka needs if the library gets integrated into the standard library.

Anyways, let's start a discussion on community guidelines, expectations, important / desired community libraries here, and simultaneously we can start building and contributing.

Also, if you want to read more info about some less documented features of Koka check our community docs out here

Let one of the community admins know if you are interested in contributing! (Shoot us a message on Discord).

Pinned Loading

  1. koka-community Public

    A meta repository containing all the goodies in one clone :)

    1

  2. std Public

    Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)

    C 4 2

  3. parsing Public

    A collection of different parsing approaches, comparisons, benchmarks, and parsers for different languages

    Logos 1

  4. 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 1

  5. koka-docs Public

    Additional documentation on less well known Koka features, links to papers, etc.

    CSS 2 1

Repositories

Showing 10 of 27 repositories
  • template Public template

    Template Repo

    0 MIT 0 0 0 Updated Mar 6, 2025
  • std Public

    Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)

    C 4 2 3 1 Updated Feb 20, 2025
  • alex Public Forked from haskell/alex

    A lexical analyser generator for Koka

    Haskell 0 BSD-3-Clause 87 0 0 Updated Jan 30, 2025
  • parsing Public

    A collection of different parsing approaches, comparisons, benchmarks, and parsers for different languages

    Logos 1 0 0 0 Updated Jan 30, 2025
  • .github Public
    0 0 0 0 Updated Jan 21, 2025
  • kokac Public

    WIP: A koka community cli executable. Provides a quick start for using koka community packages in personal projects.

    0 MIT 0 0 0 Updated Jan 19, 2025
  • uv Public

    Libuv bindings & wrapper libraries

    0 MIT 0 0 0 Updated Dec 27, 2024
  • koka-community Public

    A meta repository containing all the goodies in one clone :)

    1 MIT 0 0 0 Updated Dec 12, 2024
  • html Public

    A library for working with html with no dependency on the browser

    4 MIT 1 0 0 Updated Dec 3, 2024
  • rosetta Public

    Rosetta Code examples: https://rosettacode.org/wiki/Category:Koka

    0 MIT 0 0 0 Updated Dec 2, 2024

Top languages

Loading…

Most used topics

Loading…