cryptol: Cryptol: The Language of Cryptography

[ bsd3, language, library, program ] [ Propose Tags ]

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

Versions 2.2.0, 2.2.1, 2.2.2, 2.2.3, 2.2.4, 2.2.5, 2.2.6, 2.3.0, 2.4.0, 2.5.0, 2.6.0
Dependencies ansi-terminal, array (>=0.4), base (>=4.8 && <5), base-compat (>=0.6 && <0.10), blaze-html, bytestring (>=0.10), containers (>=0.5), cryptol, deepseq (>=1.3), directory (>=1.2.2.0), filepath (>=1.3), gitrev (>=1.0), GraphSCC (>=1.0.4), haskeline, heredoc (>=0.2), monad-control (>=1.0), monadLib (>=3.7.2), mtl (>=2.2.1), panic (>=0.3), pretty (>=1.1), process (>=1.2), random (>=1.0.1), sbv (>=7.7), simple-smt (>=0.7.1), strict, text (>=1.1), tf-random (>=0.5), time (>=1.6.0.1), transformers, transformers-base (>=0.4) [details]
License BSD-3-Clause
Copyright 2013-2018 Galois Inc.
Author Galois, Inc.
Maintainer cryptol@galois.com
Category Language
Home page http://www.cryptol.net/
Bug tracker https://github.com/GaloisInc/cryptol/issues
Source repo head: git clone https://github.com/GaloisInc/cryptol.git
this: git clone https://github.com/GaloisInc/cryptol.git(tag 2.6.0)
Uploaded by AaronTomb at Wed Aug 1 16:04:29 UTC 2018
Distributions Arch:2.6.0, Debian:2.6.0, NixOS:2.6.0
Executables cryptol-html, cryptol
Downloads 4064 total (39 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-08-01 [all 1 reports]
Hackage Matrix CI

Modules

[Index] [Quick Jump]

Flags

NameDescriptionDefaultType
static

Create a statically-linked binary

DisabledAutomatic
relocatable

Don't use the Cabal-provided data directory for looking up Cryptol libraries. This is useful when the data directory can't be known ahead of time, like for a relocatable distribution.

EnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees