GitHub repository: Chris-Hawblitzel/dafny
Primary language: C#
Description: Dafny is a verification-aware programming language