development

Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC

Database library with left-fold interface for Oracle

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

Line oriented fast enough text search

The Tamarin prover for security protocol analysis

Term manipulation library for the tamarin prover

Term manipulation library for the tamarin prover

Utility library for the tamarin prover

Blaze-style HTML templates as a Monad Transformer

Heterogenous memoisation monad

Type-level assertion operators

Example usage of the tao package

Bidirectionally infinite streams, akin to the tape of a Turing machine

A tasty enhancement to cassava for easy csv exporting

Reading, writing and manipulating ".tar" archive files

Reading, writing and manipulating ".tar" archive files

Reading, writing and manipulating ".tar" archive files

Extract and create tar files using conduit for streaming

Bidirectional state monad transformer

Generate test-suites from refinement types

Terminal Art

A command line tool for keeping track of tasks you worked on

Distributed processing of changing tasks

A command-line kanban board/task manager

CLI task / todo list manager with SQLite backend

CLI task / todo list manager with SQLite backend

A collection of tools which can be used to access taskwarrior from xmonad

Manage pools of possibly interdependent tasks using STM and async

Types and aeson instances for taskwarrior tasks

Modern and extensible testing framework

Modern and extensible testing framework

Render tasty output to XML for Jenkins

Auto discovery for Tasty with support for ingredients and test tree generation

Autocollection of tasty tests

BDD tests language and tasty provider

Featherlight benchmark framework

Featherlight benchmark framework

Determine time complexity of a given function

Determine time complexity of a given function

Check multiple items during a tasty test

Ingredient for tasty which generates per-test coverage reports

Deja Fu support for the Tasty test framework

Test discovery for the tasty framework

Mark tasty tests as failure expected

Adds the ability to fail a tasty test suite on first test failure

Handle flaky Tasty-based tests

Simple focus mechanism for tasty

Golden tests support for tasty

Grade your tasty-testsuite

Tasty Tests for groundhog converters

Integration for tasty and hedgehog

Coverage tracking for Hedgehog Property-Based Testing via Tasty

Tasty helpers to test HsLua

Hspec support for the Tasty test framework

Render tasty output to HTML

Render tasty output to HTML

HUnit support for the Tasty test framework

Use existing HUnit tests with tasty

Integration of HUnit with tasty

Inspection testing support for tasty

Automated integration of QuickCheck properties into tasty suites

Render tasty output to both console and XML for Jenkins

JSON reporter for the tasty testing framework

Known Answer Tests (KAT) framework for tasty

Test common laws

LeanCheck support for the Tasty test framework

Tasty TestTrees for Lens validation

Write tests in Lua, integrate into tasty

Golden testing provider for tasty with muti-line diff output

Bencmarking using instruction counting

Unopinionated top-level entry point to tasty ecosystem

Test execution of external processes with Tasty

Use tasty framework to test whether a program executes correctly

QuickCheck support for the Tasty test framework

QuickCheck support for the Tasty test framework

Pre-built tasty trees for checking lawful class properties using QuickCheck

Rerun only tests which failed in a previous test run

A fancy test runner, including support for golden tests

SmallCheck support for the Tasty test framework

Collect statistics of your Tasty testsuite

Tests defined by Search Using Golden Answer References

Tests defined by Search Using Golden Answer References

TAP (Test Anything Protocol) Version 13 formatter for tasty

Producing JUnit-style XML test reports

Test vector support for tasty

Automatic tasty test case discovery using TH

Terminal user acceptance testing (UAT) via tmux

Fancy Travis CI output for tasty tests

Test 'wai' endpoints via Test

Run TLT tests from Tasty

Meta tic-tac-toe ncurses game

Tau, the ratio between any circle's circumference and radius

Types and combinators for taxes

Tax types and computations for Australia

Libary for parsing, processing and vizualization of taxonomy data

Tool for parsing, processing, comparing and visualizing taxonomy data

Testing By Convention

Utilities for condensed matter physics tight binding calculations

Transactional variables and data structures with IO hooks

A Transactional cache with user-defined persistence