@hackage cryptol3.0.0

Cryptol: The Language of Cryptography

  • Installation

  • Dependencies (47)

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

      ffi
       (on by default)

      Enable the foreign function interface

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