GitHub repository: Consensys/DafnyCrypto
Primary language: Dafny
Description: A cryptography library written in Dafny which focuses on SNARKs and related systems.