typelevel

Lightweight, modular, and extensible library for functional programming.

Compositional, streaming I/O library for Scala

The pure asynchronous runtime for Scala

Functional JDBC layer for Scala.

Property-based testing for Scala

Powerful new number types and numeric abstractions for Scala.

A data access library for Scala + Postgres.

The Scala API for Quantities, Units of Measure and Dimensional Analysis

First class syntax support for type classes in Scala

Compiler plugin for making type lambdas (type projections) easier to write

Expressive types for Spark.

Data structures for pure functional programming in Scala

Automatic type class derivation for Cats

Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

Jawn is for parsing jay-sawn (JSON)

Logging Tools For Interaction with cats-effect

scalac options for the enlightened

Experimental project to lay out basic algebra type classes

A small companion to cats

functional tracing for cats

Flexible law checking for Scala

Library of utilities for tagless final encoded algebras

Functional Kafka for Scala

cats transformer type classes.

gRPC implementation for FS2/cats-effect

Scala sample code for Bartosz Milewski's CT for Programmers

A parsing library for the cats ecosystem

An OpenTelemetry library for Scala based on Cats-Effect

Generic programming for Scala

Feral cats are homeless, feral functions are serverless

Integration between cats-effect and test frameworks

an implementation of Wadler's a prettier printer

Grackle: Functional GraphQL for the Typelevel stack

Spire's macros for zero-cost operator enrichment

Let sbt work for you.

Integration library for MUnit & cats-effect

Birds and cats together

Sample project demonstrating use of fs2-io to build a chat client and server

Development tools for Typelevel projects

Object-Notation Abstraction for JSON, binary, HOCON, etc.

Proof of concept for a cats-like library built using Dotty features

Compile time validation of literal values built from strings

Functional Avro for Scala

Direct-style async/await syntax for Cats Effect

Quickstart your next app with the Typelevel Toolkit!

Cats Instances for Java Time

A test framework that runs everything in parallel.

Type-safe, persistent storage for values of arbitrary types

Effectful property testing built on ScalaCheck

Interoperability libraries for Shapeless

Cooperative multithreading as a pure monad transformer

Micro-library for building effectful protocols

Library to support automatic labeling of ScalaCheck properties.

Everything you need to make type classes first class.

Interoperability libraries & additional data structures and instances for Scalaz

Generic Monoids for Scala

Glorious integration layer for Natchez and Http4s.