Hugging Face's logo
Snapkitty 's Collections
Financial and Enterprise
Community and Culture
Infrastructure and Tools
Security and Cryptography
Compilers and Runtimes
Quantum Computing
Research and Papers
Training Frameworks and Tooling
GPU Kernels and Hardware
Formal Verification and Proofs
Agent Systems and Orchestration
Sovereign Models and GGUFs

Security and Cryptography

AES verification, attestation, policy engines, cryptographic protocols