@hackage / cryptol

Cryptol: The Language of Cryptography

Latest3.5.0

About

Metadata

  • Last updated , by ryanglscott
  • License BSD-3-Clause

  • Maintained by: cryptol@galois.com

  • Lottery factor: 5

Links

Installation

Package Flags

Use the -f option with cabal commands to enable 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

Readme

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