The IO monad for Scala
Experimental project to lay out basic algebra type classes
Spire's macros for zero-cost operator enrichment
Powerful new number types and numeric abstractions for Scala.
Interoperability libraries for Shapeless
Expressive types for Spark.
Automatic type class derivation for Cats
Specs2 bindings for Scalaz
an implementation of Wadler's a prettier printer
cats transformer type classes.
Data structures for pure functional programming in Scala
Scalatest bindings for scalaz.
Interoperability libraries & additional data structures and instances for Scalaz
Library to support automatic labeling of ScalaCheck properties.
Cats Testkit for Scalatest
ScalaTest binding for Discipline
Compiler plugin for making type lambdas (type projections) easier to write
Library of utilities for tagless final encoded algebras