cryptol: Cryptol: The Language of Cryptography

[ bsd3, language, library, program ] [ Propose Tags ]

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

Versions [faq] 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
Dependencies ansi-terminal, array (>=0.4), async (>=2.0), base (>=4.6 && <5), containers (>=0.5), cryptol, deepseq (>=1.3), directory (>=1.2), filepath (>=1.3), gitrev (>=1.0), GraphSCC (>=1.0.4), haskeline, heredoc (>=0.2), monadLib (>=3.7.2), old-time (>=1.1), presburger (>=1.3), pretty (>=1.1), process (>=1.2), QuickCheck (>=2.7), random (>=1.0.1), sbv (>=4.2), smtLib (>=1.0.7), syb (>=0.4), template-haskell, text (>=1.1), tf-random (>=0.5), transformers (>=0.3), utf8-string (>=0.3) [details]
License BSD-3-Clause[multiple license files]
Copyright 2013-2015 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 v2.2.0)
Uploaded by AdamFoltzer at Tue Mar 24 18:54:40 UTC 2015
Distributions Arch:2.7.0, Debian:2.6.0, NixOS:2.8.0
Executables cryptol
Downloads 6070 total (229 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
Last success reported on 2015-03-24 [all 8 reports]

Modules

  • Cryptol
    • Cryptol.Eval
      • Cryptol.Eval.Arch
      • Cryptol.Eval.Env
      • Cryptol.Eval.Error
      • Cryptol.Eval.Type
      • Cryptol.Eval.Value
    • Cryptol.ModuleSystem
      • Cryptol.ModuleSystem.Base
      • Cryptol.ModuleSystem.Env
      • Cryptol.ModuleSystem.Interface
      • Cryptol.ModuleSystem.Monad
      • Cryptol.ModuleSystem.NamingEnv
      • Cryptol.ModuleSystem.Renamer
    • Cryptol.Parser
      • Cryptol.Parser.AST
      • Cryptol.Parser.Lexer
      • Cryptol.Parser.Names
      • Cryptol.Parser.NoInclude
      • Cryptol.Parser.NoPat
      • Cryptol.Parser.Position
      • Cryptol.Parser.Unlit
      • Cryptol.Parser.Utils
    • Prims
      • Cryptol.Prims.Doc
      • Cryptol.Prims.Eval
      • Cryptol.Prims.Syntax
      • Cryptol.Prims.Types
    • REPL
      • Cryptol.REPL.Command
      • Cryptol.REPL.Monad
      • Cryptol.REPL.Trie
    • Cryptol.Symbolic
      • Cryptol.Symbolic.BitVector
      • Cryptol.Symbolic.Prims
      • Cryptol.Symbolic.Value
    • Testing
      • Cryptol.Testing.Eval
      • Cryptol.Testing.Exhaust
      • Cryptol.Testing.Random
    • Transform
      • Cryptol.Transform.MonoValues
      • Cryptol.Transform.Specialize
    • Cryptol.TypeCheck
      • Cryptol.TypeCheck.AST
      • Cryptol.TypeCheck.Defaulting
      • Cryptol.TypeCheck.Depends
      • Cryptol.TypeCheck.Infer
      • Cryptol.TypeCheck.InferTypes
      • Cryptol.TypeCheck.Instantiate
      • Cryptol.TypeCheck.Kind
      • Cryptol.TypeCheck.Monad
      • Cryptol.TypeCheck.PP
      • Cryptol.TypeCheck.Solve
      • Solver
        • Cryptol.TypeCheck.Solver.Class
        • Cryptol.TypeCheck.Solver.CrySAT
        • Cryptol.TypeCheck.Solver.Eval
        • Cryptol.TypeCheck.Solver.FinOrd
        • Cryptol.TypeCheck.Solver.InfNat
        • Cryptol.TypeCheck.Solver.Interval
        • Cryptol.TypeCheck.Solver.Numeric
        • Cryptol.TypeCheck.Solver.Selector
        • Cryptol.TypeCheck.Solver.Smtlib
        • Cryptol.TypeCheck.Solver.Utils
      • Cryptol.TypeCheck.Subst
      • Cryptol.TypeCheck.TypeMap
      • Cryptol.TypeCheck.TypeOf
      • Cryptol.TypeCheck.Unify
    • Utils
      • Cryptol.Utils.Debug
      • Cryptol.Utils.PP
      • Cryptol.Utils.Panic
    • Cryptol.Version

Flags

NameDescriptionDefaultType
static

Create a statically-linked binary

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

EnabledAutomatic
self-contained

Compile the text of the Cryptol Prelude into the library

EnabledAutomatic

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