Cryptography Primitives sink

Cryptography Primitives sink

X509 reader and writer

X.509 Certificate and CRL validation

X.509 Certificate and CRL validation

Utility for X509 certificate and chain

Handle per-operating-system X.509 accessors and storage

Handle per-operating-system X.509 accessors and storage

X.509 collection accessing and storing methods

X.509 collection accessing and storing methods

X.509 collection accessing and storing methods

X509 reader and writer

SOCKS Protocol Version 5

Privacy Enhanced Mail (PEM) file format reader and writer

Simple and easy network connection API

Simple and easy network connection API

crypton conduit

crypton conduit

NaCl crypto/secret box implementations based on crypton primitives

ASN.1 types

A monadic parser combinator for a ASN.1 stream.

ASN.1 data (raw, BER or DER) readers and writers

Cryptography Primitives sink

Cryptol: The Language of Cryptography

Shared types for encrypting internal object identifiers before exposure

Typeclass-based interface to cryptoids

Reversable and secure encoding of object ids as a bytestring

Fast, pure and practical SHA-512 implementation

Fast, pure and practical SHA-256 implementation

Fast, pure and practical SHA-1 implementation

Fast, pure and practical MD5 implementation

Crypto-api interfaces for cryptohash

cryptohash conduit

collection of crypto hashes, fast, pure and practical

Interledger Crypto-Conditions

Haskell wrapper for the cryptocompare API

Symmetrical block and stream ciphers

Provides generation and verification services for time-based one-time keys

crypto tokens

crypto tokens

Easy-and-safe-to-use high-level cryptography based on Sodium

A simple high level encryption interface based on cryptonite

Adaptation of the crypto-rng library for the effectful ecosystem

Cryptographic random number generator

A random effect using crypto-random

Simple random generators API for cryptography related code

Simple cryptographic random related types

Generic cryptography Public keys algorithm types

OpenSSH keys decoder/encoder

Public Key cryptography

Cryptographic numbers: functions and algorithms

Multihash library on top of cryptonite crypto library

Like crypto-pubkey-openssh but not dependent on any specific crypto library

An Enigma machine simulator with display

Conduit interface for cryptographic operations (from crypto-api)

An educational tool for studying classical cryptography schemes

Generic cryptography cipher types

Generic cryptography cipher tests

Generic cryptography cipher benchmarks

A test framework and KATs for cryptographic operations

A generic interface for cryptographic operations

Pure Haskell implelementation for GNU SHA512 crypt algorithm

A verification tool for C programs

Simple top-level library for Crucible Simulation

A runghc replacement with transparent caching

Request and Response types for Eval.so's API

A syntax for reading and writing Crucible control-flow graphs

An implementation of symbolic I/O primitives for Crucible

Support for translating and executing LLVM code in Crucible

An interactive debugger for Crucible programs

Crucible is a library for language-agnostic symbolic simulation

Dead simple broken links checker on local HTML folders

Encryption and decryption

Another bloated standard library

Cron datatypes and Attoparsec parser

Cron datatypes and Attoparsec parser

An offline renderer supporting ray tracing and photon mapping

An implementation of Douglas Crockford's base32 encoding

A Conflict-Free Replicated JSON Datatype for Haskell

Criu RPC protocol buffer types

CRIU RPC client

Robust, reliable performance measurement and analysis

Convert criterion output to HTML reports

Enhancement of the "criterion" benchmarking library

Criterion measurement functionality and associated types

A simple tool for visualising differences in Criterion benchmark results

A simple tool for comparing in Criterion benchmark results

Robust, reliable performance measurement and analysis

Crit-bit maps and sets

Second-order, tiered, constrained, linear conditional random fields

Second-order, generic, constrained, linear conditional random fields

First-order, constrained, linear-chain conditional random fields

First-order, linear-chain conditional random fields

A clean aeson wrapper

Compositional representable executable machines

Reasoning about amortized time complexity

Secure Credentials Administration

Secure Credentials Storage and Distribution

Library to access secure credential storage providers

Framework for artificial life experiments