development

Reasoning about amortized time complexity

Compositional representable executable machines

A clean aeson wrapper

First-order, linear-chain conditional random fields

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

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

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

Crit-bit maps and sets

Robust, reliable performance measurement and analysis

Robust, reliable performance measurement and analysis

A simple tool for comparing in Criterion benchmark results

A simple tool for visualising differences in Criterion benchmark results

Criterion measurement functionality and associated types

Enhancement of the "criterion" benchmarking library

Convert criterion output to HTML reports

CRIU RPC client

Criu RPC protocol buffer types

A Conflict-Free Replicated JSON Datatype for Haskell

An implementation of Douglas Crockford's base32 encoding

An offline renderer supporting ray tracing and photon mapping

Cron datatypes and Attoparsec parser

Cron datatypes and Attoparsec parser

Another bloated standard library

Encryption and decryption

Dead simple broken links checker on local HTML folders

Crucible is a library for language-agnostic symbolic simulation

An interactive debugger for Crucible programs

Support for translating and executing LLVM code in Crucible

An implementation of symbolic I/O primitives for Crucible

A syntax for reading and writing Crucible control-flow graphs

Request and Response types for Eval.so's API

A runghc replacement with transparent caching

Simple top-level library for Crucible Simulation

A verification tool for C programs

Pure Haskell implelementation for GNU SHA512 crypt algorithm

Common Cryptographic Algorithms in Pure Haskell

A generic interface for cryptographic operations

A test framework and KATs for cryptographic operations

Generic cryptography cipher benchmarks

Generic cryptography cipher tests

Generic cryptography cipher types

An educational tool for studying classical cryptography schemes

Conduit interface for cryptographic operations (from crypto-api)

An Enigma machine simulator with display

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

Multihash library on top of cryptonite crypto library

Cryptographic numbers: functions and algorithms

Public Key cryptography

OpenSSH keys decoder/encoder

Generic cryptography Public keys algorithm types

Simple cryptographic random related types

Simple random generators API for cryptography related code

A random effect using crypto-random

Cryptographic random number generator

Adaptation of the crypto-rng library for the effectful ecosystem

A simple high level encryption interface based on cryptonite

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

Crypto tokens

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

Symmetrical block and stream ciphers

Haskell wrapper for the cryptocompare API

Interledger Crypto-Conditions

Collection of crypto hashes, fast, pure and practical

Cryptohash conduit

Crypto-api interfaces for cryptohash

Fast, pure and practical MD5 implementation

Fast, pure and practical SHA-1 implementation

Fast, pure and practical SHA-256 implementation

Fast, pure and practical SHA-512 implementation

Reversable and secure encoding of object ids as a bytestring

Typeclass-based interface to cryptoids

Shared types for encrypting internal object identifiers before exposure

Cryptol: The Language of Cryptography

Cryptography Primitives sink

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

A monadic parser combinator for a ASN.1 stream

ASN.1 types

NaCl crypto/secret box implementations based on crypton primitives

Crypton conduit

Simple and easy network connection API

Privacy Enhanced Mail (PEM) file format reader and writer

SOCKS Protocol Version 5

X509 reader and writer

X.509 collection accessing and storing methods

X.509 collection accessing and storing methods

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

X.509 Certificate and CRL validation

Cryptography Primitives sink

Cryptography Primitives sink

Cryptonite conduit

Crypto stuff using OpenSSL cryptographic library

Serialization of cryptographic data types

Bindings for Cryptsy cryptocurrency exchange API

Control Crystalfontz LCD displays

Connection-set algebra (CSA) library

Compiler plugin for common subexpression elimination

Analytical CSG (Constructive Solid Geometry) library

A gallery of Csound instruments

MIDI controllers

Library to make electronic music