Property-based testing for Scala
The IO monad for Scala
First class syntax support for type classes in Scala
Flexible law checking for Scala
Experimental project to lay out basic algebra type classes
The Scala API for Quantities, Units of Measure and Dimensional Analysis
Spire's macros for zero-cost operator enrichment
Powerful new number types and numeric abstractions for Scala.
Library of utilities for tagless final encoded algebras
Interoperability libraries for Shapeless
Expressive types for Spark.
A small companion to cats
Automatic type class derivation for Cats
Specs2 bindings for Scalaz
cats transformer type classes.
an implementation of Wadler's a prettier printer
Data structures for pure functional programming in Scala
Scalatest bindings for scalaz.
Library to support automatic labeling of ScalaCheck properties.