Our projects cover a wide range of domains, from general functional programming to tooling.
A case-insensitive string for Scala
Cats instances for various Twitter Open Source Scala projects
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
Data structures that facilitate pure functional programming with cats
The IO Monad for Scala, plus type classes for general effect types.
Monad transformers made easy
A parsing library for the cats ecosystem
A library of utilities for tagless final algebras
Instances for Cats Typeclasses for Java 8 Time
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
Object-Notation Abstraction for JSON, binary, HOCON, etc.
JSON Library
Frameless is a library for working with Spark using more expressive types.
Typeful Spark
gRPC implementation for FS2/cats-effect
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
Integration of jawn and fs2 for streaming, incremental JSON parsing
A Keyed Pool Implementation for Scala
Plugin for nicer type-lambda syntax
Automatic type class derivation
Logging Tools For Interaction with cats-effect
Enrichments to standard library classes to ease functional programming
An OpenTelemetry library based on cats-effect
ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties.
Property checking
First-class syntax for type classes
Simulacrum as Scalafix rules
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
The Scala API for Quantities, Units of Measure and Dimensional Analysis
A Giter8 template for sbt-typelevel
Development tools for Typelevel projects
Type-safe, persistent storage for values of arbitrary types