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)

PhD Research: Control Flow Analysis

My PhD research focuses on designing robust control flow analysis (CFA) for algebraic effect handlers. As part of this research, I have contributed to significant enhancements in the Koka ecosystem.

View my Research Assets, VS Code Extension, and samples →

Master's Projects

• Junior High Game
  An interactive site for researching the impact of AI in multi-player strategic interactions, and social networks.

Open Source Frameworks & Tooling

• UserNobody14/tree-sitter-dart
  A tree-sitter grammar for the Dart programming language.

• rrousselGit/riverpod
  A reactive caching and data-binding framework for Dart/Flutter. Riverpod makes working with asynchronous code a breeze. I have been a contributor to this highly popular state management library in the past.

• ros2dart/dartros1
  A ROS1 (Robot Operating System) client library written in Dart, bridging the capabilities of ROS with the Dart ecosystem. I contributed to this during my work with robotics.