haskellPackages

Bounds-checking integer types

Inbuilt checking for ultra reliable computing

Check properties on standard classes and data structures

Generate checklists relevant to a given patch

Compute and verify checksums of ISBN, IBAN, etc

A simple and intuitive library for automated testing

HUnit support for Chell

QuickCheck support for Chell

The core library for Cherry Haskell

Simple library for validating chess moves and parsing PGN files

A Library for Chess Game Logic

Basic chess library

Query interface for Chevalier

Parse and scrape recipe blogs

A tmux client for Polysemy

Testing tools for chiasma

Lazy infinite streams with O(1) indexing and applications for memoization

Lazy infinite streams with O(1) indexing and applications for memoization

Haskell bindings for Chipmunk2D physics engine

Helper for the Major System

A platform independent mechanism to render graphics using vnc

A solution to boolean blindness

Choose random elements from a stream

Command-line program to choose random element from a stream

A module containing basic functions that the prelude does not offer

A module containing basic geo functions

An implementation of concurrency ideas from Communicating Sequential Processes

MTL class instances for the CHP library

A set of high-level concurrency utilities built on Communicating Haskell Processes

A mirror implementation of chp that generates a specification of the program

Transformers instances for the CHP library

Constraint Handling Rules

Datatypes required for chr library

AST + surface language around chr

Parsing for chr library

Pretty printing for chr library

Alternative approach of 'read' that composes grammars instead of parsers

Neovim package manager

Measure timings of data evaluation

Time to manipulate time

A high-performance time library

Benchmarking tool with focus on comparing results

Cabal with c2hs dependencies

Cabal with c2hs dependencies

C2hs dependency analyzer

FFI for Chu2 Agda Web Server Interface

Behaviour Driven Development like Cucumber for Haskell

Typeclasses for dealing with various chunked data representations

Simple template library with static safety

Human-readable storage of text/binary objects

Automatically convert Generic instances to and from church representations

Removed; please see fmlist

Church encoded Maybe

Church encoded pair

Channel/Arrow based streaming computation library

A W3C compliant (X)HTML generating library

API bindings to IOHK's Cicero job scheduler

Cielo API v3 Bindings for Haskell

An interface to CIL

Simple C-like programming language

A binding to cinvoke

A monad for concurrent IO on a thread pool

Fast AES cipher implementation with advanced mode of operations

AES and common modes using AES-NI when available

Blowfish cipher

Camellia block cipher primitives

DES and 3DES primitives

Fast RC4 cipher implementation

Pure RC5 implementation

Implementation of CipherSaber2 RC4 cryptography

A Compiler IR Compiler

Circle API client for Haskell

Simple heuristic for packing discs of varying radii in a circle

The CircleCI REST API for Haskell

An implementation of the "circuit breaker" pattern to disable repeated calls to a failing system

A source plugin for manipulating circuits in clash with a arrow notation

Circular fixed-sized mutable vectors

Make bounded enum types circular

Types and a small DSL for working with netlistsvg

Cirru Parser in Haskell

Cirru Parser in Haskell

DEPRECATED in favor of webex-teams-api

Convert document IDs such as DOI, ISBN, arXiv ID to bibliographic reference

Generates citations and bibliography from CSL styles

A Citation Style Language implementation in Haskell

A Pandoc filter for processing bibliographic references with citeproc-hs

Bindings to CityHash

A new Haskeleton package

Data about Chinese, Japanese and Korean characters and languages

Clifford Algebra of three dimensional space

Interface to/from Cl3 and HMatrix

Interface to/from Cl3 and Linear

Simple CLI RPN calculator

Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot

ClaferIG is an interactive tool that generates instances of Clafer models

A wiki-based IDE for literate modeling with Clafer

JSON Compilation Database Format encoding and decoding

Pure C++ code analysis with libclang

Command-line spaced-repetition software