Koka Community

I organize the koka-community GitHub organization, fostering a collaborative ecosystem of tooling and libraries for the Koka language. If you are interested in contributing, join our Discord Server!

• std: Extensions to Koka's standard libraries.
• html: A library for working with HTML with no dependency on the browser.
• setup-koka: GitHub Actions setup for Koka CI.
• uv: Libuv bindings and wrapper libraries.

Language & Compiler Contributions

• koka-lang/koka
  Koka is a strongly typed functional-style language with effect types and handlers. I actively contribute to the Koka compiler, language server, and language design. (My Fork: TimWhiting/koka)