GitHub repository: kaspar030/hacspec
Primary language: Coq
Description: A specification language for cryptography primitives.