Cryptol: The Language of Cryptography

Latest on Hackage:2.9.0

See all snapshots cryptol appears in

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

Module documentation for 2.2.2

This version can be pinned in stack with:cryptol-2.2.2@sha256:46e9b4c8920d2e537a9b340e0a866259d682ee32db97aa50d79072f068a1d04b,7226

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