GitHub repository: romac/stainless
Primary language: Scala
Description: 💯  Verification framework for higher-order functional programs