Cryptol: The Language of Cryptography

Version on this page:2.4.0
LTS Haskell 8.24:2.4.0
Stackage Nightly 2017-10-02:2.5.0
Latest on Hackage:2.6.0

See all snapshots cryptol appears in

BSD-3-Clause licensed by Galois, Inc.
Maintained by

Module documentation for 2.4.0

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

comments powered byDisqus