An open-source Java library for Constraint Programming

Lightweight, open-source control tool for ASUS laptops and ROG Ally. Manage performance modes, fans, GPU, battery, and RGB lighting across Zephyrus, Flow, TUF, Strix, Scar, and other models.

Blade and Soul plugin for Advanced Combat Tracker

My presentations

🔨 Helper scripts to compile mpv on Linux

Type-level validation for Scala

Refinement types for Scala

The Light Table IDE ⛺

WebSharper - Full-stack, functional, reactive web apps and microservices in F# and C#

Clone of the Age of Empires II engine 🚀

🔨 The tools we use to build Kitsu, the coolest platform for anime and manga

Scaloid makes your Android code easy to understand and maintain.

An easy-to-use sbt plugin for working with all Android projects