ScalaCheck is a library written in Scala and used for automated property-based testing of Scala or Java programs.

ScalaTest is a flexible and popular testing tool in the Scala ecosystem. It can be used to test Scala, Scala.js, Scala Native, Dotty (Scala 3), and Java code.

Cats is a library which provides abstractions for functional programming in the Scala programming language.

Spark SQL is Apache Spark's module for working with structured data based on DataFrames.

Core libraries for Apache Spark, a unified analytics engine for large-scale data processing.

Cats Effect is a high-performance, asynchronous, composable framework for building real-world applications in a purely functional style within the Typelevel ecosystem.

Core classes for Circe, a JSON library for Scala developed with a focus on performance.

ZIO is a Type-safe, composable asynchronous and concurrent programming for Scala. ZIO lets developers quickly build applications that are highly scalable, testable, robust, resilient, resource-safe, efficient, and observable.

ZIO Test is Scala library for writing functional tests with support for Resources, Effects, Property-Based Testing, Aspects, etc.

The core Apache Kafka server and client libraries for building distributed streaming platforms.

Software Specifications for Scala