This package provides an IO library for testing interactive command line programs. Proctest aims to simplify interacting with and testing terminal programs, providing convenience functions for starting programs and reading their output. All blocking operations support timeouts so that misbehaving programs cannot block your test pipeline. Find more examples and contribute at https://github.com/nh2/proctest.

This package provides QuickCheck instances for types provided by the Haskell Platform.

hspec-discover is a tool which automatically discovers and runs Hspec tests.

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

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.

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 QuickCheck support for the Tasty Haskell test framework.

Integrate @inspection-testing@ into @tasty@ test suites.

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)

This library implements the SHA suite of message digest functions, according to NIST FIPS 180-2 (with the SHA-224 addendum), as well as the SHA-based HMAC routines. The functions have been tested against most of the NIST and RFC test vectors for the various functions. While some attention has been paid to performance, these do not presently reach the speed of well-tuned libraries, like OpenSSL.

This package provides efficient cryptographic hash implementations for strict and lazy bytestrings. For now, CRC32 and Adler32 are supported; they are implemented as FFI bindings to efficient code from zlib.

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.

This package provides generic X509 support for Haskell.

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

This library contains io-streams routines for secure networking using OpenSSL (by way of HsOpenSSL).

This package provides a Haskell-only implementation of the MD5 digest (hash) algorithm. This now supports the crypto-api class interface.

This Haskell package provides an incremental and one-pass, pure API to the SHA-256 cryptographic hash algorithm, 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 Haskell package provides implementation of MD5.

This library provides functions to read and write X509 certificates.

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

This package provides a native Haskell TLS and SSL protocol implementation for server and client. It provides a high-level implementation of a sensitive security protocol, eliminating a common set of security issues through the use of the advanced type system, high level constructions and common Haskell features. It currently implements the SSL3.0, TLS1.0, TLS1.1 and TLS1.2 protocol, and supports RSA and Ephemeral (Elliptic curve and regular) Diffie Hellman key exchanges, and many extensions.

This package provides a simple monadic parser for ASN1 stream types, when ASN1 pattern matching is not convenient.

This package provides a reader and writer for ASN1 data in raw form with supports for high level forms of ASN1 (BER, and DER).

This package provides a library to handle system accessors and storage for X.509 certificates.