MyNixOS website logo
Showing entries 15801-15900 out of 18345.
Reflect exceptions using phantom types
Trivial monad transformer that allows identical monad stacks to have different types
Lists tagged with a type-level natural number representing their length
QuasiQuoter and Template Haskell splices for creating proxies at higher-kinds
Simple wrappers for timing IO actions (single-threaded)
Monad transformer carrying an extra phantom type tag
Library for tagging data
taggyNix package
Efficient and simple HTML/XML parsing library
Lenses for the taggy html/xml parser
Binding to TagLib (ID3 tag library)
An FFI layer over TagLib's C bindings
Positional tags and tagsets
TagShare - explicit sharing with tags
Parsing and extracting information from (possibly malformed) HTML/XML documents
Alternative parser for the tagsoup package
A Tag token parser and Tag specific parsing combinators
Tagsoup Navigate
Tokenizes Tag, so [ Tag ] can be used as parser input
Selecting subtrees from TagSoup's TagTrees using CSS selectors
Black magic tagsoup
Streamlined html tag parser
Hierarchical Tags & Tag Trees
TahinNix package
Tahin Password Generator
Abstractions related to Tahoe-LAFS "capabilities"
The Tahoe-LAFS' Content-Hash-Key (CHK) cryptographic protocol
Tahoe-LAFS directory-like abstraction for collections of data objects
An implementation of the "Great Black Swamp" LAFS protocol
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
taiNix package
Support library to enable TAI usage on systems with time kept in UTC
tai64Nix package
Tai64 Labels for Haskell
Tail files in Unix, using hinotify
Tailwind wrapped in Haskell
Tainted type, and associated operations
takNix package
A library encoding the rules of Tak, and a playtak.com client
AI(s)
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
talNix package
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
taoNix package
Type-level assertion operators
Example usage of the tao package
TapeNix package
Bidirectionally infinite streams, akin to the tape of a Turing machine
A tasty enhancement to cassava for easy csv exporting
tartarNix package
Reading, writing and manipulating ".tar" archive files
tartar_0_6_3_0Nix package
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
tartNix package
Terminal Art
taskNix package
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
tastytastyNix package
Modern and extensible testing framework
tastytasty_1_5Nix package
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
tasty-benchtasty-benchNix package
Featherlight benchmark framework
tasty-benchtasty-bench_0_4Nix package
Featherlight benchmark framework
tasty-bench-fittasty-bench-fitNix package
Determine time complexity of a given function
tasty-bench-fittasty-bench-fit_0_1_1Nix package
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
tasty-htmltasty-htmlNix package
Render tasty output to HTML
tasty-htmltasty-html_0_4_2_2Nix package
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