Security/CryptoEngineering/Cryptol
From MozillaWiki
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. Combined with the Software Analysis Workbench (SAW) it provides the ability to formally verify properties of code.