GitHub repository: raaz-crypto/verse-coq
Primary language: Coq
Description: VERified asSembler for cryptographic primitives