Repository for the explanation method Calibrated Explanations (CE)

coverage driven random testing framework

Markdown Cheatsheet for Github Readme.md

A gatekeeper for your commits

Haskell source code suggestions

Yet another Haskell build system.

A tool that parses emails by enhancing the Python standard library, extracting all details into a comprehensive object.

become root by being on the docker group

Command Line Tester

Algebraic graphs

Signature inference for Functional Property Discovery in Haskell

Systematic concurrency testing meets Haskell.

The Concurrency Commentator; giving you cheap remarks about concurrent programs.

Property-based testing in Python

Very fast property testing library

Master the command line, in one page

FEAT

A world clock and weather widget for Android

[haskell-happstack] repository for Arch Linux

The rule-based graph programming language GP 2

Modern and extensible testing framework for Haskell

hydra

Equational laws for free

Official upstream development repository for Cabal and cabal-install

Arch Haskell ABS tree

Lazy SmallCheck with functional values and existentials!

The Haskell tracer - generating and viewing Haskell execution traces