Cryptol: The Language of Cryptography

Latest on Hackage:2.8.0

See all snapshots cryptol appears in

BSD-3-Clause licensed by Galois, Inc.
Maintained by [email protected]

Module documentation for 2.3.0

This version can be pinned in stack with:[email protected]:516be68c14a635cf6e1b9caea80ea23438586c4651e7b10e71429a08dfc0eb0b,9940

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