A micro-library to derive a typeclass for Scala 3 Union types.

System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be re…

Type-safe Queries

C-struct like usage of records in Haskell

CLI/GUI for managing the battery charging status for Apple silicon (M1, M32, M3) Macs

Senpai is an automated memory sizing tool for container applications.

A Scala compiler plugin for better ZIO type mismatch errors.

Expressive types for Spark.

Shape-safe TensorFlow in Dotty

A Java agent that rewrites bytecode to instrument allocation sites

Tagref helps you manage cross-references in your code.

A Dynamically Typed Scala Json Library

Safe compile-time parallelization of for-comprehensions for Scala 3

Describe HTTP endpoints in Scala and derive clients, servers, and documentation

Static checks to aid with a healthy adoption of Compose

Typesafe wrapper for Apache Spark DataFrame API

Embedded S3 server for easy mocking

Scala library providing "source" metadata to your program, similar to Python's __name__, C++'s __LINE__ or Ruby's __FILE__.

🔎 An HTTP inspector for Android & OkHTTP (like Charles but on device)

Interactive HTML BOM generation plugin for KiCad, EasyEDA, Eagle, Fusion360 and Allegro PCB designer

Bluespec Compiler (BSC)

better implicit errors for scala

Acyclic is a Scala compiler plugin to let you prohibit circular dependencies between files

Kafka-based message queue

experimental CPS transformer for dotty

Kotlin SQL Framework

A massively parallel, optimal functional runtime in Rust

Strong type constraints for Scala