/keccak-cryptol

Cryptol specification of the Keccak (SHA-3) hash function

MIT LicenseMIT

Stargazers