This package provides QuickCheck2 support for the test-framework package.

This package allows on to run Doctests in a Cabal.Test.exitcode-stdio environment.

This Haskell library provides convenient assertions with pretty-printed failure messages for QuickCheck properties, that are similar to those of HUnit.

This package provides contributed Hspec extensions.

Nanospec is a lightweight implementation of a subset of Hspec's API with minimal dependencies.

Property based testing libraries such as QuickCheck tend to include type modifiers. Most of them are used to quantify over subsets of a type. This library is intended to supply these modifiers to be used by testing libraries, in an effort to make properties more portable between testing frameworks.

Hedgehog is a property-based testing system, in the spirit of QuickCheck. Hedgehog uses integrated shrinking, so shrinks obey the invariants of generated values by construction.

To get started quickly, see the examples: https://github.com/hedgehogqa/haskell-hedgehog/tree/master/hedgehog-example

This package provides HUnit support for the Tasty Haskell test framework.

This package provides generator and shrink functions for testing Unicode-related software.

This package provides support for golden testing. A golden test is an IO action that writes its result to a file. To pass the test, this output file should be identical to the corresponding golden file, which contains the correct result for the test.

Feat (Functional Enumeration of Algebraic Types) provides enumerations as functions from natural numbers to values (similar to toEnum but for any algebraic data type). This can be used for SmallCheck-style systematic testing, QuickCheck-style random testing, and hybrids of the two.

This Haskell package provides a generic interface for cryptographic operations (hashes, ciphers, randomness).

Maintainers of hash and cipher implementations are encouraged to add instances for the classes defined in Crypto.Classes. Crypto users are similarly encouraged to use the interfaces defined in the Classes module.

Any concepts or functions of general use to more than one cryptographic algorithm (ex: padding) is within scope of this package.

Simple crypto pseudo-random-number-generator with really good randomness property.

Using ent, a randomness property maker on one 1Mb sample:

• Entropy = 7.999837 bits per byte.

• Optimum compression would reduce the size of this 1048576 byte file by 0 percent.

• Chi square distribution for 1048576 samples is 237.02.

• Arithmbetic mean value of data bytes is 127.3422 (127.5 = random).

• Monte Carlo value for Pi is 3.143589568 (error 0.06 percent).

Compared to urandom with the same sampling:

• Entropy = 7.999831 bits per byte.

• Optimum compression would reduce the size of this 1048576 byte file by 0 percent.

• Chi square distribution for 1048576 samples is 246.63.

• Arithmetic mean value of data bytes is 127.6347 (127.5 = random).

• Monte Carlo value for Pi is 3.132465868 (error 0.29 percent).

This package provides Haskell tools for X.509 certificate and Certificates revocation list (CRL) validation.

This Haskell package provides basic typeclasses and types for symmetric ciphers.

This Haskell package provides AES cipher implementation.

The modes of operations available are ECB (Electronic code book), CBC (Cipher block chaining), CTR (Counter), XTS (XEX with ciphertext stealing), GCM (Galois Counter Mode).

The AES implementation uses AES-NI when available (on x86 and x86-64 architecture), but fallback gracefully to a software C implementation.

The software implementation uses S-Boxes, which might suffer for cache timing issues. However do notes that most other known software implementations, including very popular one (openssl, gnutls) also uses similar implementation. If it matters for your case, you should make sure you have AES-NI available, or you'll need to use a different implementation.

This package provides functions for accessing and storing X.509 collections, certificates, revocation lists, and exception lists.

This package provides methods for accessing and storing X.509 collections of certificates, certificate revocation lists, and exception lists.

This package provides a simple, fast, self-contained copy of the Ed25519 public-key signature system with a clean interface. It also includes support for detached signatures, and thorough documentation on the design and implementation, including usage guidelines.

This package provides a cross-platform library that tries to find a (reasonable) CA certificate bundle that can be used with HsOpenSSL to verify the certificates of remote peers. It is for HsOpenSSL what x509-system is for the tls package, and borrows some ideas from x509-system.

This package provides a repository of cryptographic primitives.

• Symmetric ciphers: AES, DES, 3DES, CAST5, Blowfish, Twofish, Camellia, RC4, Salsa, XSalsa, ChaCha.

• Hash: SHA1, SHA2, SHA3, SHAKE, MD2, MD4, MD5, Keccak, Skein, Ripemd, Tiger, Whirlpool, Blake2.

• MAC: HMAC, KMAC, Poly1305

• Asymmetric crypto: DSA, RSA, DH, ECDH, ECDSA, ECC, Curve25519, Curve448, Ed25519, Ed448

• Key Derivation Function: PBKDF2, Scrypt, HKDF, Argon2, BCrypt, BCryptPBKDF

• Cryptographic Random generation: System Entropy, Deterministic Random Generator

• Data related: Anti-Forensic Information Splitter (AFIS)

A collection of crypto hashes, with a practical incremental and one-pass, pure APIs, with performance close to the fastest implementations available in other languages. The implementations are made in C with a haskell FFI wrapper that hides the C implementation.

This Haskell package provides an incremental and one-pass, pure API to the SHA-1 hash algorithm, including HMAC support, with performance close to the fastest implementations available in other languages.

The implementation is made in C with a haskell FFI wrapper that hides the C implementation.

This module provides Haskell bindings and extensions to the curve25519-donna codebase. It's a pretty straightforward implementation of the basic cryptographic routines you'd want from a project that uses curve25519: key generation, and key agreement. For further functionality, you'll want to look elsewhere.