SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Repository Index
87,075 visible repositories in the index
1–6 of 6 · Most stars
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
ada privilege escalation
SPARK TOTP library
A pure Ada implementation of the SipHash PRF (mirror repository).