writes to mention that 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.

Read more of this story at Slashdot.