Projects

Our projects cover a wide range of domains, from general functional programming to tooling.

case-insensitive

A case-insensitive string for Scala

js / jvm / native

Typelevel Organization Project

catapult

A thin wrapper for the Launch Darkly Java server SDK using cats-effect and fs2

jvm

Typelevel Organization Project

catbird

Cats instances for various Twitter Open Source Scala projects

jvm

Typelevel Organization Project

Cats

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

Typelevel Organization Project

Cats Collections

Data structures that facilitate pure functional programming with cats

js / jvm / native

Typelevel Organization Project

Cats-Effect

The IO Monad for Scala, plus type classes for general effect types.

js / jvm / native

Typelevel Organization Project

Cats MTL

Monad transformers made easy

js / jvm / native

Typelevel Organization Project

cats-parse

A parsing library for the cats ecosystem

js / jvm / native

Typelevel Organization Project

Cats Tagless

A library of utilities for tagless final algebras

js / jvm / native

Typelevel Organization Project

Cats-Time

Instances for Cats Typeclasses for Java 8 Time

js / jvm / native

Typelevel Organization Project

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.

js / jvm / native

Typelevel Organization Project

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.

jvm

Typelevel Organization Project

fabric

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

js / jvm / native

Typelevel Organization Project

Feral

Feral cats are homeless, feral functions are serverless

js / jvm

Typelevel Organization Project

Frameless

Frameless is a library for working with Spark using more expressive types.

jvm

Typelevel Organization Project

fs2-grpc

gRPC implementation for FS2/cats-effect

jvm

Typelevel Organization Project

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).

js / jvm / native

Typelevel Organization Project

Grackle

Functional GraphQL server for the Typelevel stack

js / jvm / native

Typelevel Organization Project

jawn-fs2

Integration of jawn and fs2 for streaming, incremental JSON parsing

js / jvm / native

Typelevel Organization Project

keypool

A Keyed Pool Implementation for Scala

js / jvm / native

Typelevel Organization Project

kind-projector

Plugin for nicer type-lambda syntax

jvm

Typelevel Organization Project

Kittens

Automatic type class derivation

js / jvm / native

Typelevel Organization Project

Laika

Site and e-book generator and customizable text markup transformer for sbt, Scala and Scala.js

js / jvm

Typelevel Organization Project

literally

Compile time validation of literal values built from strings

js / jvm / native

Typelevel Organization Project

log4cats

Logging Tools For Interaction with cats-effect

js / jvm / native

Typelevel Organization Project

Mouse

Enrichments to standard library classes to ease functional programming

js / jvm / native

Typelevel Organization Project

Natchez

functional tracing for cats

js / jvm / native

Typelevel Organization Project

otel4s

An OpenTelemetry library based on cats-effect

js / jvm / native

Typelevel Organization Project

ScalaCheck

ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties.

js / jvm / native

Typelevel Organization Project

simulacrum

First-class syntax for type classes

js / jvm / native

Typelevel Organization Project

Simulacrum Scalafix

Simulacrum as Scalafix rules

js / jvm

Typelevel Organization Project

Skunk

A data access library for Scala + Postgres

js / jvm / native

Typelevel Organization Project

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.

js / jvm / native

Typelevel Organization Project

Squants

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

js / jvm / native

Typelevel Organization Project

Twiddles

Micro-library for building effectful protocols

js / jvm / native

Typelevel Organization Project

typelevel.g8

A Giter8 template for sbt-typelevel

js / jvm

Typelevel Organization Project

typelevel-nix

Development tools for Typelevel projects

js / jvm / native

Typelevel Organization Project

vault

Type-safe, persistent storage for values of arbitrary types

js / jvm / native

Typelevel Organization Project

Submitting

Are you interested in submitting your library to the Typelevel Ecosystem?

Open a ticket!