Cryptol, Language of Cryptography, Now Available To the Public

Cryptol, a domain specific language for the design, implementation and verification of cryptographic algorithms, is now available to the public. Cryptol was originally designed for the NSA. It allows for a quick evaluation and continued revisions, and is available for Linux, OS X, and Windows — via Slashdot