Verification framework and tool for higher-order Scala programs

The Scala 3 compiler, also known as Dotty.

Solver for higher-order functional programs

Optics library for Scala

sbt, the interactive build tool

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Compile-time query generation for document stores

Pure Scala Artifact Fetching

Scala Center's solution of Advent of Code

System FR: Formalized Foundations for Stainless

Scala language server with rich IDE features 🚀

Demo compiler for existentialization

Tiny library to serialize and deserialize data structures.

A simple testing framework for Scala

Bolts: Stainless Verified Scala Examples

Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

sources for the Scala language website

The Scala Documentation website

A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.