typelevel/cats

Lightweight, modular, and extensible library for functional programming.

typelevel/fs2

Compositional, streaming I/O library for Scala

typelevel/scalacheck

Property-based testing for Scala

typelevel/spire

Powerful new number types and numeric abstractions for Scala.

typelevel/cats-effect

The pure asynchronous runtime for Scala

typelevel/simulacrum

First class syntax support for type classes in Scala

typelevel/squants

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

typelevel/kind-projector

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

typelevel/frameless

Expressive types for Spark.

typelevel/cats-collections

Data structures for pure functional programming in Scala

typelevel/kittens

Automatic type class derivation for Cats

typelevel/jawn

Jawn is for parsing jay-sawn (JSON)

typelevel/log4cats

Logging Tools For Interaction with cats-effect

typelevel/algebra

Experimental project to lay out basic algebra type classes

typelevel/discipline

Flexible law checking for Scala

typelevel/mouse

A small companion to cats

typelevel/sbt-tpolecat

scalac options for the enlightened

typelevel/cats-mtl

cats transformer type classes.

typelevel/cats-tagless

Library of utilities for tagless final encoded algebras

typelevel/fs2-grpc

gRPC implementation for FS2/cats-effect