Cryptol is a domain-specific language for specifying cryptographic
algorithms.  A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in a
general purpose language.
