Refinement types for Scala
Functional GraphQL library for Scala
Generic programming for Scala
Principled Functional Programming in Scala
A data access library for Scala + Postgres
Scala 2 compiler and standard library
The pure asynchronous runtime for Scala
Abstract Algebra for Scala
Powerful new number types and numeric abstractions for Scala