Specifications of cryptographic algorithms in Cryptol - View it on GitHub