cryptol-2.4.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/.
Modules
- Cryptol
- Cryptol.Eval
- Cryptol.ModuleSystem
- Cryptol.Parser
- Prims
- REPL
- Cryptol.Symbolic
- Testing
- Transform
- Cryptol.TypeCheck
- Cryptol.TypeCheck.AST
- Cryptol.TypeCheck.Depends
- Cryptol.TypeCheck.Infer
- Cryptol.TypeCheck.InferTypes
- Cryptol.TypeCheck.Instantiate
- Cryptol.TypeCheck.Kind
- Cryptol.TypeCheck.Monad
- Cryptol.TypeCheck.PP
- Cryptol.TypeCheck.Sanity
- Cryptol.TypeCheck.Solve
- Solver
- Cryptol.TypeCheck.Solver.Class
- Cryptol.TypeCheck.Solver.CrySAT
- Cryptol.TypeCheck.Solver.InfNat
- Numeric
- Cryptol.TypeCheck.Solver.Numeric.AST
- Cryptol.TypeCheck.Solver.Numeric.Defined
- Cryptol.TypeCheck.Solver.Numeric.Fin
- Cryptol.TypeCheck.Solver.Numeric.ImportExport
- Cryptol.TypeCheck.Solver.Numeric.Interval
- Cryptol.TypeCheck.Solver.Numeric.NonLin
- Cryptol.TypeCheck.Solver.Numeric.SMT
- Cryptol.TypeCheck.Solver.Numeric.Simplify
- Cryptol.TypeCheck.Solver.Numeric.Simplify1
- Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr
- Cryptol.TypeCheck.Solver.Selector
- Cryptol.TypeCheck.Solver.Simplify
- Cryptol.TypeCheck.Solver.Utils
- Cryptol.TypeCheck.Subst
- Cryptol.TypeCheck.TypeMap
- Cryptol.TypeCheck.TypeOf
- Cryptol.TypeCheck.Unify
- Utils
- Cryptol.Version