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]

Cryptol

Flags

Automatic Flags

Name	Description	Default
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

cryptol-3.5.0.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

IavorDiatchki, ryanglscott, galoisinc, mccleeary, sauclovian_g, aschwerdfeger_galois

For package maintainers and hackage trustees

edit package information

Candidates

3.4.1

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, 3.3.0, 3.4.0, 3.5.0
Change log	CHANGES.md
Dependencies	aeson (>=2.0 && <2.3), ansi-terminal, arithmoi (>=0.12), array (>=0.4), async (>=2.2 && <2.3), base (>=4.9 && <4.20), base-compat (>=0.6 && <0.13), blaze-html, bv-sized (>=1.0 && <1.1), bytestring (>=0.10), containers (>=0.5), criterion-measurement, cryptohash-sha256 (>=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), heredoc (>=0.2), 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), primitive, process (>=1.2), rme-what4 (>=0.1 && <0.2), sbv (>=9.1 && <10.11), simple-smt (>=0.9.8), stm (>=2.4), strict, temporary, text (>=1.1), tf-random (>=0.5), time (>=1.6.0.1), toml-parser (>=2.0 && <2.1), transformers, transformers-base (>=0.4), unix, vector, what4 (>=1.6 && <1.8), Win32 [details]
License	BSD-3-Clause
Copyright	2013-2025 Galois Inc.
Author	Galois, Inc.
Maintainer	cryptol@galois.com
Uploaded	by aschwerdfeger_galois at 2026-01-28T01:35:38Z
Revised	Revision 1 made by ryanglscott at 2026-01-28T16:56:26Z
Category	Language
Home page	https://tools.galois.com/cryptol
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.5.0)
Distributions	Arch:3.3.0, Debian:2.8.0
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	check-exercises, cryptol-html, cryptol
Downloads	14752 total (115 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2026-01-28 [all 1 reports]