GitHub repository: zkcrypto/cryptolib
Primary language: Lean
Description: The cryptography library of Lean 4