haskellPackages

Generators for types in safe-coloured-text-layout

Safely output coloured text

Safely output coloured text

Relational proof system for probabilistic algorithms

Safe and very efficient arithmetic operations on fixed decimal point numbers

Safe, consistent, and easy exception handling

Safe, checked exceptions

Library for safe functions (deprecated)

Control-monad-exception Instances for safe-failure

Safe wrappers for null-partial Foldable operations

Support for safely freezing multiple arrays in the ST monad

Recursive Arbitrary instances without headaches

Safe top-level mutable variables which scope like ordinary values

Automatic JSON format versioning

A library providing safe lazy IO features

Tired of accidentally calling length on tuples?

Type-safe and lossless encoding and manipulation of money, fiat currencies, crypto currencies and …

Instances from the aeson library for the safe-money library

Instances from the cereal library for the safe-money library

Instances from the serialise library for the safe-money library

Instances from the store library for the safe-money library

Instances from the xmlbf library for the safe-money library

Safe arithmetic operations

A small wrapper over hs-plugins to allow loading safe plugins

Well-typed, flexible and variadic printf for Haskell

Dependently typed tensor algebra

Use RecordWildCards safely

Binary serialization with version control

Making SafeCopy migrations easier

Binary serialization with version control

Overflow-checked Int type

Write output to disk atomically

Safe Paths in Haskell

Type-safe file handling

Extends safer-file-handles with ByteString operations

Extends safer-file-handles with Text operations

A simple type-safe routing library

Much safer replacement for QSemN, QSem, and SampleVar

Obtain homogeneous values from arbitrary values, transforming or culling data

Fast JSON parsing powered by Chad Austin's sajson library

Compression command-line tool

Haskell representation of messages exchanged on the sakura.io platform

Configuration (re)Loader and Parser

Configuration Loader for toml

Configuration Loader for yaml

A .NET Bridge for Haskell

Cryptography that's easy to digest (NaCl/libsodium bindings)

Quickcheck implementations for some NaCl data

Semantic version numbers and constraints

Modular web application framework

Demo Salvia servers

Collection of non-fundamental handlers for the Salvia web server

Salvia webserver protocol suite supporting URI, HTTP, Cookie and MIME

Session support for the Salvia webserver

Websocket implementation for the Salvia Webserver

Handling of samples in an (audio) signal

Orphan instances for types from sample-frame and numericprelude

Sample values from collections

A stable adaptive mergesort implementation

Binding to the C samtools library

Conduit interface to SAM/BAM format files through samtools

Enumerator interface to SamTools library

Iteratee interface to SamTools library

Data encoding library

SAND data serialization and manipulation library

Manages Cabal sandboxes to avoid rebuilding packages

Record historical command runtimes for later prediction

Yet another test framework for Haskell

Sandwich integration with Hedgehog

Sandwich integration with QuickCheck

Sandwich integration with Slack

Sandwich integration with Selenium WebDriver

Audio library

SARIF implementation for Haskell

A universal quickfix toolkit and his protocol

A staged lexer generator

SASL implementation using simple-pipe

CNF SATisfier

A minimal SAT solver

A high-level wrapper over minisat

SAT encoding monad

Driver for external satchmo backends

Examples that show how to use satchmo

Funsat driver as backend for satchmo

Minisat driver as backend for satchmo

Toysat driver as backend for satchmo

Handle POSIX cron schedules

Saturnin CI / Job System

Step-by-step SAT solver for educational purposes

The eye that watches everything you did on Twitter

Re-export of the random generators from Hedgehog

Monadic streaming XML parser

Send textual messages to a Handle in a thread-friendly way

Require explicit type application for some type variables

Construction of context-adjusted pretty output

A benchmark suite for runtime and heap measurements over a series of inputs

SwiftNav's SBP Library

SwiftNav's SBP Library

SBP to UDP

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving