GitHub repository: typelevel/discipline
Primary language: Scala
Description: Flexible law checking for Scala