@hackage cryptol2.2.5

Cryptol: The Language of Cryptography

  • Installation

  • Dependencies (25)

  • Dependents (1)

    @hackage/acme-everything

    • Package Flags

      static
       (off by default)

      Create a statically-linked binary

      relocatable
       (on by default)

      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.

      self-contained
       (on by default)

      Compile the text of the Cryptol Prelude into the library

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