Generic programming for Scala
A minimal, idiomatic Scala interface for HTTP
Asynchronous, Reactive Programming for Scala and Scala.js.
Functional JDBC layer for Scala.
Optics library for Scala
Simple refinement types for Scala
Flexible law checking for Scala
Scala combinator library for working with binary data
Experimental project to lay out basic algebra type classes
doc/tutorial generator for scala
A small companion to cats
Expressive types for Spark.
Purely functional HTTP client
Scalatest binding for Cats
Just an SBT plugin that enforces some organizational policies and settings across all of your projects
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
Type calculations at compile time
Data migrations through implicit function composition at the type-level
Build your web API on the type level.
A Scala compiler plugin for mutual tail recursion