Cryptol, Language of Cryptography, Now Available To the Public
solweil 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.
Second Post!
Looks like the Technocrat 'creeps' are already migrating to /.:
http://news.slashdot.org/article.pl?sid=08/12/26/1126256