A collection of TLA⁺ specifications of varying complexities.

The first Scala macros' standard library

An implementation of the Chromecast CASTV2 protocol

Cast macOS and Linux Audio/Video to your Google Cast and Sonos Devices

Simple, beautiful CLI output

The Dark Arts of Advanced and Unsafe Rust Programming

Writing an OS in Rust

A catalogue of Rust design patterns, anti-patterns and idioms

Educational blog posts for Rust beginners

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

AST explorer for Scalameta trees

Offline Minecraft launcher.

Scala utility class for mapping named tuples

A scala 3 tree explorer for the reflect module

DHT bootstrap server

Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.

A bleeping fast scala build tool!

A 'new look' for database access in Scala

BitTorrent protocol implementation

Extensible records for Scala

Compiler plugin for intuitive tagless final

Besom - a Pulumi SDK for Scala. Also, incidentally, a broom made of twigs tied round a stick. Brooms and besoms are used for protection, to ward off evil spirits, and cleansing of ritual spaces.

http4s-stir offers Pekko HTTP-style (Akka HTTP-style) DSL directives for http4s using cats-effect's IO as an effect system

Seal Your System's Boundaries

Type-safe high-level ORM for Postgres

Scala string interpolaters for parsing string literals into `java.time` instances at compile time

The Scala 3 compiler, also known as Dotty.