zhao07 / keccak-cryptol

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

About

This is a specification of the Keccak (SHA-3) hash function in Cryptol.

Contributing

Please report bugs and feature requests using the GitHub issue tracker.