[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