cryptol: Cryptol: The Language of Cryptography

[ bsd3, language, library, program ] [ Propose Tags ] [ Report a vulnerability ]

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

Modules

[Index] [Quick Jump]

Flags

Automatic Flags
NameDescriptionDefault
static

Create a statically-linked binary

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

Enabled
ffi

Enable the foreign function interface

Enabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 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, 2.7.0, 2.8.0, 2.9.0, 2.9.1, 2.10.0, 2.11.0, 2.12.0, 2.13.0, 3.0.0, 3.1.0, 3.2.0
Change log CHANGES.md
Dependencies ansi-terminal, arithmoi (>=0.12), array (>=0.4), async (>=2.2 && <2.3), base (>=4.9 && <5), base-compat (>=0.6 && <0.13), blaze-html, bv-sized (>=1.0 && <1.1), bytestring (>=0.10), containers (>=0.5), criterion-measurement, cryptohash-sha1 (>=0.11 && <0.12), cryptol, deepseq (>=1.3), directory (>=1.2.2.0), exceptions, extra, file-embed (>=0.0.16), filepath (>=1.3), ghc-bignum (>=1.0 && <1.4), ghc-prim, gitrev (>=1.0), GraphSCC (>=1.0.4), haskeline (>=0.7 && <0.9), hgmp, integer-gmp (>=1.0 && <1.1), language-c99, language-c99-simple, libBF (>=0.6 && <0.7), libffi (>=0.2), MemoTrie (>=0.6 && <0.7), monad-control (>=1.0), monadLib (>=3.7.2), mtl (>=2.2.1), optparse-applicative, panic (>=0.3), parameterized-utils (>=2.0.2), pretty, pretty-show, prettyprinter (>=1.7.0), process (>=1.2), sbv (>=9.1 && <10.11), simple-smt (>=0.9.7), stm (>=2.4), strict, temporary, text (>=1.1), tf-random (>=0.5), time (>=1.6.0.1), transformers, transformers-base (>=0.4), unix, vector, what4 (>=1.4 && <1.7), Win32 [details]
License BSD-3-Clause
Copyright 2013-2022 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 3.2.0)
Uploaded by ryanglscott at 2024-08-20T16:46:06Z
Distributions Arch:3.0.0, Debian:2.8.0
Reverse Dependencies 1 direct, 0 indirect [details]
Executables check-exercises, cryptol-html, cryptol
Downloads 14055 total (66 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]