cryptol: Cryptol: The Language of Cryptography
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
- Cryptol.Eval
- IR
- Cryptol.ModuleSystem
- Cryptol.Parser
- Prims
- REPL
- Cryptol.Symbolic
- Testing
- Transform
- Cryptol.TypeCheck
- Cryptol.TypeCheck.AST
- Cryptol.TypeCheck.CheckModuleInstance
- Cryptol.TypeCheck.Default
- Cryptol.TypeCheck.Depends
- Cryptol.TypeCheck.Error
- Cryptol.TypeCheck.Infer
- Cryptol.TypeCheck.InferTypes
- Cryptol.TypeCheck.Instantiate
- Cryptol.TypeCheck.Kind
- Cryptol.TypeCheck.Monad
- Cryptol.TypeCheck.PP
- Cryptol.TypeCheck.Parseable
- Cryptol.TypeCheck.Sanity
- Cryptol.TypeCheck.SimpType
- Cryptol.TypeCheck.SimpleSolver
- Cryptol.TypeCheck.Solve
- Solver
- Cryptol.TypeCheck.Subst
- Cryptol.TypeCheck.TCon
- Cryptol.TypeCheck.Type
- Cryptol.TypeCheck.TypeMap
- Cryptol.TypeCheck.TypeOf
- Cryptol.TypeCheck.TypePat
- Cryptol.TypeCheck.Unify
- Utils
- Cryptol.Version
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 |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- cryptol-2.8.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
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, array (>=0.4), base (>=4.8 && <4.13), base-compat (>=0.6 && <0.11), blaze-html, bytestring (>=0.10), containers (>=0.5), cryptohash-sha1 (>=0.11 && <0.12), 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 (>=8.1 && <8.8), 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-2019 Galois Inc. |
Author | Galois, Inc. |
Maintainer | cryptol@galois.com |
Revised | Revision 1 made by Bodigrim at 2022-09-24T20:02:58Z |
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.8.0) |
Uploaded | by AaronTomb at 2019-09-04T19:43:22Z |
Distributions | Arch:3.0.0, Debian:2.8.0 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | cryptol-html, cryptol |
Downloads | 14000 total (65 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2019-09-04 [all 1 reports] |