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.

Let me know if you are interested in contributing!

Pinned

  1. koka-community koka-community Public

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

  2. std std Public

    Extensions to Koka's std libraries (hopefully to be integrated into Koka someday)

    C 1 1

  3. parsing parsing Public

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

    Logos

  4. math 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. community-docs community-docs Public

    Documentation for the Community (Guidelines, Rules, Organization, Licensing)

    1

Repositories

Showing 10 of 21 repositories
  • html Public

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

    1 0 0 0 Updated May 26, 2024
  • std Public

    Extensions to Koka's std libraries (hopefully to be integrated into Koka someday)

    C 1 1 1 2 Updated May 19, 2024
  • koka-docs Public

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

    CSS 1 MIT 1 0 0 Updated May 18, 2024
  • madoko Public Forked from koka-lang/madoko

    Madoko is a fast markdown processor for high quality academic and technical articles

    HTML 0 41 0 0 Updated May 13, 2024
  • native Public Forked from dart-lang/native

    Koka packages related to FFI and native assets bundling.

    Dart 0 BSD-3-Clause 27 0 0 Updated May 11, 2024
  • koka-community Public

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

    0 MIT 0 0 0 Updated May 10, 2024
  • mbedtls Public

    Koka bindings to the mbedtls library

    0 0 0 0 Updated May 10, 2024
  • zlib Public

    Koka bindings to the Zlib library

    C 0 0 0 0 Updated May 10, 2024
  • llhttp Public

    llhttp bindings to koka

    0 0 0 0 Updated May 10, 2024
  • diplomat Public Forked from rust-diplomat/diplomat

    Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code

    Rust 0 43 0 0 Updated May 9, 2024

Most used topics

Loading…