GitHub repository: oskgo/easycrypt
Primary language: OCaml
Description: EasyCrypt: Computer-Aided Cryptographic Proofs