Showing entries 49901-50000 out of 52586.
An HSpec for Great Black Swamp storage backends
Types related to implementation of a Tahoe-LAFS Great Black Swamp server
An implementation of the Tahoe-LAFS SSK cryptographic protocols
Support library to enable TAI usage on systems with time kept in UTC
Tai64 Labels for Haskell
Tail files in Unix, using hinotify
Tailwind wrapped in Haskell
A utility-first CSS framework for rapidly building custom user interfaces
A utility-first CSS framework for rapidly building custom user interfaces
Tainted type, and associated operations
A library encoding the rules of Tak, and a playtak.com client
Create slide for presentation
Duplicate file finder
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
taskelltaskell
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
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
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
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