milessabin/shapeless   2.4.0-M1

Generic programming for Scala

http4s/http4s   1.0.0-M43

A minimal, idiomatic Scala interface for HTTP

typelevel/doobie   0.13.4

Functional JDBC layer for Scala.

monix/monix   0.3.0

Asynchronous, Reactive Programming for Scala and Scala.js.

fthomas/refined   0.11.2

Refinement types for Scala

optics-dev/monocle   3.3.0

Optics library for Scala

typelevel/skunk   0.6.4

A data access library for Scala + Postgres.

typelevel/frameless   0.16.0

Expressive types for Spark.

scodec/scodec   2.3.2

Scala combinator library for working with binary data

tpolecat/tut   0.6.7

doc/tutorial generator for scala

typelevel/mouse   1.3.2

A small companion to cats

typelevel/discipline   0.11.1

Flexible law checking for Scala

typelevel/algebra   2.0.0

Experimental project to lay out basic algebra type classes

kailuowang/henkan   0.6.5

A small library for converting between case classes.

kubukoz/sup   0.8.2

Composable, purely functional healthchecks in Scala.

typelevel/otel4s   0.11.0

An OpenTelemetry library for Scala based on Cats-Effect

typelevel/sbt-typelevel   0.7.4

Let sbt work for you.

pepegar/hammock   0.11.3

Purely functional HTTP client

pheymann/typedapi   0.2.0

Build your web API on the type level.

erikerlandson/coulomb   0.8.0

coulomb: unit analysis for Scala