Utilities for using WebDriver with QuickCheck

Test monadic programs using state machine based models

Test monadic programs using state machine based models

Customizable reports for quickcheck properties

QuickCheck support for rematch

A monad for generating QuickCheck properties without Arbitrary instances

Combinators for Quickcheck Property construction and diagnostics

Generate QuickCheck Gen for Sum Types

QuickBooks API binding

Slimmed down json schema language and validator

QUIC

A package for prompting values from the command-line

Picklers for de/serialising Generic data types to and from query strings

Quenya verb conjugator

Quite Useless DB

Coronavirus quarantine timer web app for your things

Retrieve, store and manage real quantum random data

An embedding of quantum computation as a Haskell arrow

Rage against the quantification

Quandl.com API library

GHC plugin to automatically insert qualified imports

Qt bindings

quantity semaphores

QR Code library in pure Haskell

Library to generate images

Implementation of interpolated multiline strings

Typesafe library for linear algebra

A simple QIF file format parser / printer

Simple bindings to Qhull, a library for computing convex hulls

Simple prover

double-double and quad-double number type via libqd

Compile time generation of operation invariance tests for QuickCheck

Types and prettyprinter for the IL of the QBE compiler backend

Efficient alternating finger trees

Serialization/deserialization using Python Pickle format

Call python inline from haskell

Call python inline from haskell

Public Verifiable Secret Sharing

Fast persistent vectors

Creating graphics for pencil puzzles

Put-based lens library

A Haskell Pushover API library

Implementation of the Pusher WebSocket protocol

A Pusher.com client written in Haskell

Datatypes used by the Pushbullet APIs

Simple push support for pushbullet

Push notifications for Android and iOS

A simple, fun way to build websites

TypeScript Declaration File (.d.ts) generator for PureScript

PureScript Programming Language Concrete Syntax Tree

PureScript Programming Language Abstract Syntax Tree

A Haskell-only implementation of zlib / DEFLATE

A pure priority queue

Pure IO monad

Encode unicode strings to ascii forms according to RFC 3492

Fast, lightweight YAML loader and dumper

DrIFT with pugs-specific rules

pugixml binding

A library for Google/SixApart pubsub hub interaction

PubNub Haskell SDK

Publishing tools for papers, books, and presentations

Create the publicsuffixlist package

The publicsuffix list exposed as proper Haskell types

Pipe stdin to a redis pub/sub channel

A parser generator

Integrate libpsx with the GHC RTS

A Haskell Implementation of the Porter Stemmer

A tagged rose-tree with short circuited unique leaves

Language support for the PureScript programming language

Prune unused Haskell dependencies

Mapping of Proxy Types

A library for kind-polymorphic manipulation and inspection of Proxy values

Computations that automatically track data dependencies

The server for ProveEverywhere

prototype-based programming on Haskell

Simple XML templating library

Protolude with lifted-base and lifted-async

Parse Google Protocol Buffer specifications

Parse Google Protocol Buffer specifications

Model distributed system as type-level multi-party protocol

JSON protobuf encoding for proto-lens

proto-lens-etcd - protobuffer lenses for etcd provided by protoc-lens-protoc

Utilities functions to proto-lens

Neovim Project Manager

Simple audio library for SDL

Simple audio library for Windows, Linux, OSX

Bindings to the Prosper marketplace API

A simple language for writing documents

Apple property list parser

check quickCheck properties in real time

A Propagator Library

DEPRECATED

Telegram bot for proof assistants

A library for interfacing with the CMU Pronouncing Dictionary

Monad (and transformer) for deferred-effect pure prompt-response queries

A monadic interface for async

Instrument a wai application with various metrics

Instrument applications with metrics and publish/push to Prometheus

A Prolog interpreter written in Haskell

Profunctor-based lightweight implementation of optics