Our projects cover a wide range of domains, from general functional programming to tooling.
A case-insensitive string for Scala
js / jvm / native
A thin wrapper for the Launch Darkly Java server SDK using cats-effect and fs2
jvm
Cats instances for various Twitter Open Source Scala projects
jvm
A library intended to provide abstractions for functional programming in Scala, leveraging its unique features. Design goals are approachability, modularity, documentation and efficiency.
js / jvm / native
Data structures that facilitate pure functional programming with cats
js / jvm / native
The IO Monad for Scala, plus type classes for general effect types.
js / jvm / native
Monad transformers made easy
js / jvm / native
A parsing library for the cats ecosystem
js / jvm / native
A library of utilities for tagless final algebras
js / jvm / native
Instances for Cats Typeclasses for Java 8 Time
js / jvm / native
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.
js / jvm / native
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.
jvm
Object-Notation Abstraction for JSON, binary, HOCON, etc.
js / jvm / native
Feral cats are homeless, feral functions are serverless
js / jvm
Frameless is a library for working with Spark using more expressive types.
jvm
gRPC implementation for FS2/cats-effect
jvm
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).
js / jvm / native
Functional GraphQL server for the Typelevel stack
js / jvm / native
Integration of jawn and fs2 for streaming, incremental JSON parsing
js / jvm / native
A Keyed Pool Implementation for Scala
js / jvm / native
Plugin for nicer type-lambda syntax
jvm
Automatic type class derivation
js / jvm / native
Site and e-book generator and customizable text markup transformer for sbt, Scala and Scala.js
js / jvm
Compile time validation of literal values built from strings
js / jvm / native
Logging Tools For Interaction with cats-effect
js / jvm / native
Enrichments to standard library classes to ease functional programming
js / jvm / native
functional tracing for cats
js / jvm / native
An OpenTelemetry library based on cats-effect
js / jvm / native
ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties.
js / jvm / native
First-class syntax for type classes
js / jvm / native
Simulacrum as Scalafix rules
js / jvm
A data access library for Scala + Postgres
js / jvm / native
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.
js / jvm / native
The Scala API for Quantities, Units of Measure and Dimensional Analysis
js / jvm / native
Micro-library for building effectful protocols
js / jvm / native
A Giter8 template for sbt-typelevel
js / jvm
Development tools for Typelevel projects
js / jvm / native
Type-safe, persistent storage for values of arbitrary types
js / jvm / native