My solutions for Advent of Code (java).

TACIT — Tracked Agent Capabilities In Types

My solutions to the Advent of Code puzzles in Kotlin.

An alternative Predef for Scala

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

Solutions, tests and framework for Advent of Code 2023 in Scala.

python scripts for Music League analysis

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

📚 Freely available programming books

Compression Algorithms for Fs2

WASM AST and syntax based on zio-parser.

An idiomatic implementation of serde/avro (de)serialization

An OpenTelemetry library for Scala based on Cats-Effect

A Github Action to launch Scala Steward in your repository

🤖 A bot that helps you keep your projects up-to-date

Scala Open Source Sprees: join us and learn how to contribute to open source!

Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

Functional Avro for Scala

Website for Green Minds

blingful character graphics/TUI library. definitely not curses.

Micronaut Application Framework

Model based property based testing for tagless final repositories

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

A gently curated list of companies using verification formal methods in industry