GitHub repository: propensive/soundness
Primary language: Scala
Description: A platform of libraries for Scala 3