[Cryptography] Cryptol language now open source
Salz, Rich
rsalz at akamai.com
Tue Apr 29 09:49:31 EDT 2014
See http://cryptol.net From that page: "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." Cryptol compilers can generate C, C++, Haskell and VDHL. Full source on github, BSD license.
As their homepage page says, "this is a big deal."
/r$
--
Principal Security Engineer
Akamai Technologies, Cambridge, MA
IM: rsalz at jabber.me<mailto:rsalz at jabber.me>; Twitter: RichSalz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20140429/548ab273/attachment.html>
More information about the cryptography
mailing list