cryptol

Cryptol: The Language of Cryptography

http://www.cryptol.net/

Version on this page:	2.2.0
LTS Haskell 8.24:	2.4.0@rev:1
Stackage Nightly 2017-10-02:	2.5.0@rev:1
Latest on Hackage:	3.0.0

See all snapshots cryptol appears in

BSD-3-Clause licensed by Galois, Inc.

Maintained by cryptol@galois.com

This version can be pinned in stack with:cryptol-2.2.0@sha256:60d7e143a73e0f614490fb0140e2535a028902f84443229b774b395ec3b6ff86,7217

Module documentation for 2.2.0

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
- Cryptol.Prims
  - Cryptol.Prims.Doc
  - Cryptol.Prims.Eval
  - Cryptol.Prims.Syntax
  - Cryptol.Prims.Types
- Cryptol.REPL
  - Cryptol.REPL.Command
  - Cryptol.REPL.Monad
  - Cryptol.REPL.Trie
- Cryptol.Symbolic
  - Cryptol.Symbolic.BitVector
  - Cryptol.Symbolic.Prims
  - Cryptol.Symbolic.Value
- Cryptol.Testing
  - Cryptol.Testing.Eval
  - Cryptol.Testing.Exhaust
  - Cryptol.Testing.Random
- Cryptol.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
  - Cryptol.TypeCheck.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
- Cryptol.Utils
  - Cryptol.Utils.Debug
  - Cryptol.Utils.PP
  - Cryptol.Utils.Panic
- Cryptol.Version

Depends on 28 packages(full list with versions):

Used by 1 package in nightly-2015-03-25(full list with versions):

cryptol

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