cryptol

Cryptol: The Language of Cryptography

http://www.cryptol.net/

Version on this page:2.2.6@rev:1
LTS Haskell 8.24:2.4.0@rev:1
Stackage Nightly 2017-10-02:2.5.0@rev:1
Latest on Hackage:3.3.0

See all snapshots cryptol appears in

BSD-3-Clause licensed by Galois, Inc.
Maintained by [email protected]
This version can be pinned in stack with:cryptol-2.2.6@sha256:2974fc0d6cb9b1776b0f14d826ff8b291f5e4e21c25b53250a589d4e670d2867,7492

Module documentation for 2.2.6

Used by 1 package in lts-4.0(full list with versions):
cryptol

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/.