cryptol-2.8.0: 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/.
Signatures
Modules
- Cryptol
- Cryptol.Eval
- Cryptol.Eval.Arch
- Cryptol.Eval.Env
- Cryptol.Eval.Monad
- Cryptol.Eval.Reference The reference implementation of the Cryptol evaluation semantics.
- Cryptol.Eval.Type
- Cryptol.Eval.Value
- 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
- Cryptol.Eval