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.AES
- Cryptol.Backend
- Cryptol.Eval
- Cryptol.F2
- IR
- Cryptol.ModuleSystem
- Cryptol.Parser
- Cryptol.PrimeEC
- REPL
- Cryptol.SHA
- 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.10.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
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), async (>=2.2 && <2.3), base (>=4.8 && <5), base-compat (>=0.6 && <0.12), blaze-html, bv-sized (>=1.0 && <1.1), bytestring (>=0.10), containers (>=0.5), cryptohash-sha1 (>=0.11 && <0.12), cryptol, deepseq (>=1.3), directory (>=1.2.2.0), exceptions, filepath (>=1.3), ghc-prim, gitrev (>=1.0), GraphSCC (>=1.0.4), haskeline (>=0.7 && <0.9), heredoc (>=0.2), integer-gmp (>=1.0 && <1.1), libBF (>=0.5.1), MemoTrie (>=0.6 && <0.7), monad-control (>=1.0), monadLib (>=3.7.2), mtl (>=2.2.1), panic (>=0.3), parameterized-utils (>=2.0.2), pretty (>=1.1), process (>=1.2), random (>=1.0.1), sbv (>=8.6 && <8.8), simple-smt (>=0.7.1), stm (>=2.4), strict, text (>=1.1), tf-random (>=0.5), time (>=1.6.0.1), transformers, transformers-base (>=0.4), what4 (>=1.0 && <1.1) [details] |
| License | BSD-3-Clause |
| Copyright | 2013-2020 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.10.0) |
| Uploaded | by AaronTomb at 2020-11-19T17:42:10Z |
| Distributions | Arch:3.0.0, Debian:2.8.0 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | cryptol-html, cryptol |
| Downloads | 13849 total (51 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] |