GitHub repository: kbuaaaaaa/fuzz-d
Primary language: Kotlin
Description: Random program generator to verify (fuzz) the Dafny compiler