Cryptol specification of the Keccak (SHA-3) hash function
MIT LicenseMIT
No issues in this repository yet.