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.

this package provides a library for the haskell programming language, compiled for profiling. see http://www.haskell.org/ for more information on haskell.