cryptol

Cryptol: The Language of Cryptography http://www.cryptol.net/

Version on this page:2.2.4
LTS Haskell 8.20:2.4.0
Stackage Nightly 2017-06-23:2.4.0
Latest on Hackage:2.4.0
BSD3 licensed by Galois, Inc.
Maintained by cryptol@galois.com

Module documentation for 2.2.4

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. For more, see http://www.cryptol.net/.

comments powered byDisqus