Cryptol

A Cryptol implementation is a program that can execute Cryptol programs. Cryptol is a domain-specific language for specifying cryptographic algorithms. It is intended to be used by both cryptographers and verified tool developers. The language is higher-level than most programming languages, and is designed to be readable and writeable by humans as well as machines. Cryptol has a formal semantics and is statically typed. Cryptol programs can be automatically translated into other languages, such as C, for execution on conventional processors. Cryptol is used in the development of the TrueCrypt disk encryption program, among others.