GitHub repository: scala/scala-collections-laws
Primary language: Scala
Description: An exploration of partially automatic generation of tests for the entire collections library.