Scala 3 macro library extending Mirror derivation with annotation metadata, default values, and transparent wrappers.
Type-safe lexer and parser library for Scala 3, featuring compile-time validation and a pattern-matching DSL for grammars.
Format-agnostic, streaming serialization library for Scala 3, built on M&DE with derived type class encoders and decoders.
Type-safe value validation DSL for Kotlin Multiplatform, catching invalid state at compile time instead of at runtime.
Gradle plugin that just works, generating type-safe Kotlin Ktor clients straight from OpenAPI specifications.
A walking tour of context parameters, KProperty0, definitely-non-null types, contracts, sealed scopes, explicit backing fields, fun interface, inline+reified and KSP — by building a multiplatform…
How to debug Scala 3 macros: profiling the compiler, print-debug helpers for types and ASTs, and attaching a JVM debugger to the compiler from Mill, sbt, scala-cli, VS Code or IntelliJ.
How to prove at compile time that a Scala 3 tuple contains only elements of a single type, using match types, opaque types, and clause interleaving.