Libraries
Our libraries cover a wide range of domains, from general functional programming to tooling.
algebra
A solid foundation of basic algebra type classes such as groups and rings aiming to serve as a consistent foundation for multiple libraries.
Basic type classes
banana-rdf
RDF, SPARQL and Linked Data technologies
case-insensitive
A case-insensitive string for Scala
catbird
Cats instances for various Twitter Open Source Scala projects
cats-parse
A parsing library for the cats ecosystem
cats-scalatest
Scalatest bindings for Cats.
Cats
A library intended to provide abstractions for functional programming in Scala, leveraging its unique features. Design goals are approachability, modularity, documentation and efficiency.
Functional Programming
Ciris
Functional Configurations for Scala
coulomb
A statically typed unit analysis library for Scala
cron4s
Cross-platform CRON expression parsing for Scala
decline
A composable command-line parser for Scala.
Command-line parsing
discipline
Originally intended for internal use in spire, this library helps libraries declaring type classes to precisely state the laws which instances need to satisfy, and takes care of not checking derived laws multiple times.
Flexible law checking
doobie
A pure functional JDBC layer for Scala. It is not an ORM, nor is it a relational algebra; it just provides a principled way to construct programs (and higher-level libraries) that use JDBC.
Principled database access
eff
Extensible effects are an alternative to monad transformers for computing with effects in a functional way. This library is based on the “free-er” monad and an “open union” of effects described by Oleg Kiselyov in “Freer monads, more extensible effects”
effects
Extruder
Populate case classes from any configuration source
Fetch
Library built on top of Cats that provides efficient data access from heterogeneous dataurces
Finch
Purely functional basic blocks atop of Finagle for building composable HTTP APIs
Frameless
Frameless is a library for working with Spark using more expressive types.
Typeful Spark
fs2-grpc
gRPC implementation for FS2/cats-effect
fs2
FS2 is a library for purely functional, effectful, and polymorphic stream processing library in the Scala programming language. Its design goals are compositionality, expressiveness, resource safety, and speed. The name is a modified acronym for Functional Streams for Scala (FSS, or FS2).
Stream Processing
Hammock
Purely functional HTTP client
http4s
A typeful, purely functional HTTP library for client and server applications
algebra
A solid foundation of basic algebra type classes such as groups and rings aiming to serve as a consistent foundation for multiple libraries.
Basic type classes
jawn-fs2
Integration of jawn and fs2 for streaming, incremental JSON parsing
keypool
A Keyed Pool Implementation for Scala
libisabelle
A Scala library which talks to Isabelle
Libra
Compile time dimensional analysis for any problem domain
log4cats
Logging Tools For Interaction with cats-effect
Monix
High-performance library for composing asynchronous, event-based programs, exposing a Reactive Streams implementation along with primitives for dealing with concurrency and side-effects.
Asynchronous, Reactive Programming
Monocle
Strongly inspired by Haskell's lens library, Monocle is an Optics library where Optics gather the concepts of Lens, Traversal, Optional, Prism and Iso.
Lenses for Scala
otel4s
An OpenTelemetry library based on cats-effect
Outwatch
The Functional and Reactive Web-Frontend Library for Scala.js
PureConfig
A boilerplate-free library for loading configuration files
refined
Tools for refining types with type-level predicates which constrain the set of values described by the refined type, for example restricting to positive or negative numbers.
Constraints on types
Scala Exercises
Platform and framework for Scala devs to learn about Scala libraries
scala-steward
A robot that helps keeping Scala projects up-to-date
Scala
We wish to work with all stakeholders in the Scala ecosystem to safeguard the interests of the entire Scala community.
Our fork of the Scala compiler
ScalaCheck
ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties.
Property checking
scodec
scodec is a combinator library for working with binary data. It focuses on contract-first and pure functional encoding and decoding of binary data and provides integration with shapeless.
Binary serialization
Scoverage
Code coverage tool for Scala
Shapeless
Shapeless is a generic programming library. Starting with implementations of Scrap your boilerplate and higher rank polymorphism in Scala, it quickly grew to provide advanced abstract tools like heterogenous lists and automatic instance derivation for type classes.
Generic Programming
Simulacrum Scalafix
Simulacrum as Scalafix rules
singleton-ops
Operations for primitive and String singleton types
sonic
Property-based testing with integrated shrinking
specs2
specs2 is a library for writing executable software specifications, aiming for conciseness, readability and extensibility.
Expressive specifications
spire
Spire is a numeric library for Scala which is intended to be generic, fast, and precise. Using features such as specialization, macros, type classes, and implicits, Spire works hard to defy conventional wisdom around performance and precision trade-offs.
Numeric abstractions
Squants
The Scala API for Quantities, Units of Measure and Dimensional Analysis
structures
Zero-dependency Scala library that defines commonly used type classes for functional programming.
Functional type classes
TwoTails
A compiler plugin adding support for mutual tail recursion
typelevel-nix
Development tools for Typelevel projects
typelevel.g8
A Giter8 template for sbt-typelevel
uniform-scala
Functional user journeys
unique
Unique Functional Values for Scala
vault
Type-safe, persistent storage for values of arbitrary types
