hacl-sys (cargo): FFI bindings for the HACL C package
Keywords: aead|cryptography|decryption|digest|encryption|formally-verified|hashing|hkdf|hmac|signatures