The cryptol package

[Tags:benchmark, bsd3, library, program]

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

Properties

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
Dependencies aeson (>=0.10), aeson-pretty (>=0.7), ansi-terminal, array (>=0.4), async (>=2.0), base (>=4.8 && <5), base-compat (>=0.6), 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), old-time (>=1.1), optparse-applicative (>=0.12), presburger (>=1.3), pretty (>=1.1), process (>=1.2), QuickCheck (>=2.7), random (>=1.0.1), sbv (>=5.12 && <5.15), simple-smt (>=0.6.0), smtLib (>=1.0.7), syb (>=0.4), template-haskell, text (>=1.1), tf-random (>=0.5), transformers (>=0.3), transformers-base (>=0.4), unix, unordered-containers (>=0.2), utf8-string (>=0.3), zeromq4-haskell (>=0.6) [details]
License BSD3
Copyright 2013-2016 Galois Inc.
Author Galois, Inc.
Maintainer cryptol@galois.com
Stability Unknown
Category Language
Home page http://www.cryptol.net/
Bug tracker https://github.com/GaloisInc/cryptol/issues
Source repository head: git clone https://github.com/GaloisInc/cryptol.git
this: git clone https://github.com/GaloisInc/cryptol.git(tag 2.4.0)
Uploaded Wed Jul 6 15:35:38 UTC 2016 by AdamFoltzer
Updated Tue Jan 31 17:02:04 UTC 2017 by phadej to revision 1
Distributions Debian:2.2.6, LTSHaskell:2.4.0, NixOS:2.4.0, Stackage:2.4.0, Tumbleweed:2.4.0
Downloads 1077 total (23 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-07-06 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
staticCreate a statically-linked binaryDisabledAutomatic
relocatableDon'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
serverBuild with the ZeroMQ/JSON cryptol-server executableDisabledAutomatic

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