📚 A reusable template for Scala libraries deployed to Maven Central.

🌀 Fine-grained algebraic type classes for Scala 3 library authors.

⚙️ Common configuration for all of my Scala libraries.

⚙️ Common configuration for all of my Scala 3 projects.

🏔️ Choose when and where to hold something, by asking the people invited as little as possible.

⚙️ Common configuration for all of my Scala websites.

🌐 A reusable template for full stack websites in Scala.

Generate QR codes in Scala, on the JVM and in the browser.

🌈 A provider-agnostic Scala client for large language models.

Algorithms for pairwise ranking.

🗂️ Filtering, ordering and paging of lists for full stack Scala websites.

🗝️ User accounts, sessions, groups and permissions for full stack Scala websites.

⚒️ A purely functional modelling layer for MILP and SMT solvers in C#.

🖥️ A simple loader for Scala.js webpages with client-side rendering.

💾 A simple static asset loader for Scala web servers.

🕸️ Automatically include GitHub repositories in other GitHub repositories. Updates are propagated by PR with push-based GitHub Actions.

🌀 A collection of category-theoretic base traits in Scala.

📚 A reusable template for C# libraries deployed to NuGet.

⚙️ Common configuration for all of my C# libraries.

A platform for speculating on future events with market-based odds.

Strategy bots online version.

🔫 A GitHub tool to automatically fix Scalafmt violations.

⚖️ A tool to define GitHub rulesets and settings in-source.

⚙️ Common configuration for many of my projects on GitHub.

🎓 Some of my solutions to the challenges at projecteuler.net.

👨‍💼 The README that is displayed on my GitHub profile page.

😎 The source code for my personal website.

🚂 Microscopic Railway Scheduling: Combining MIP and SMT through Clustering and Hypergraph Duality (Master's Thesis)