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