hacl (cargo): Crypto library using formally verified code from the HACL project
Keywords: aead|cryptography|decryption|digest|encryption|formally-verified|hashing|hkdf|hmac|signatures