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

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