8,403 packages · page 14 of 85
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Partial port of prelude to the type level. Requires GHC 7.6.1. |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Various type-level operators |
0.2.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Optimize static parts of type-of-html |
0.1.0.2 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Operations on type-level lists and tuples |
0.5.0.0 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Type-level sets and finite maps (with value-level counterparts) |
0.8.9.0 |
0 | 6 | 3 | 3 | unmaintained broken | ||
Basic operations on type-level natural numbers |
1.0 |
0 | 7 | 1 | 1 | unmaintained broken | ||
High-level combinators for performing inductive operations |
1.0.0.1 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Make Persistent Raw SQL handy with type-level-kv-list |
0.2.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Make Esqueleto handy with type-level-kv-list |
0.1.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
type-level binary search trees in haskell |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Interpreter for Template Haskell types |
0.1.4 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Type Level 2s- and 16s- Complement Integers |
0.5.0.2 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Queues with verified and unverified versions |
0.2.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
A library for folding types to a value |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Combinators for writing pretty type errors easily |
0.0.1.2 |
0 | 8 | 2 | 9 | unmaintained broken | ||
Type equality evidence you can carry around |
0.5 |
0 | 7 | 1 | 1 | unmaintained broken | ||
Type-level Ord compatibility layer |
0.1.1 |
0 | 6 | 3 | 4 | unmaintained broken | ||
A collection of data types for type-level programming |
0.2.4.3 |
0 | 6 | 5 | 10 | unmaintained broken | ||
Analyzes Haskell source files for easy reference |
0.1.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Provide proof witnesses for closed type family evaluation |
0.1.1.2 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Deprecated in favor of eros |
0.2.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Text |
0.0.3.0 |
0 | 11 | 1 | 1 | unmaintained broken | ||
Persistent transactions on top of STM |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Client for fetching Twitter timeline via Oauth |
0.2.0.11 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Twitter API package with conduit interface and Streaming API support |
0.6.1 |
0 | 24 | 5 | 5 | unmaintained broken | ||
A Haskell-based CLI Twitter client |
0.1.1 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Client access to Twitch.tv API endpoints |
0.0.5 |
0 | 13 | 0 | 0 | unmaintained broken | ||
A high level file watcher DSL |
0.1.7.2 |
0 | 11 | 3 | 4 | unmaintained broken | ||
Simulator of twisty puzzles à la Rubik's Cube |
0.1.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Haskell twirp foundations |
0.2.2.0 |
0 | 14 | 0 | 0 | unmaintained broken | ||
very simple template language |
0.1.2 |
0 | 7 | 1 | 1 | unmaintained broken | ||
TwiML library for Haskell |
0.2.1.0 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Twilio REST API library for Haskell |
0.3.0.0 |
0 | 17 | 0 | 0 | unmaintained broken | ||
CLI twitter client |
0.1.0.3 |
0 | 21 | 0 | 0 | unmaintained broken | ||
Rubik's cube solver |
1.0.0 |
0 | 20 | 0 | 0 | unmaintained broken | ||
A fork of the popular websockets package. It is used for the practical assignments of the University of Twente. A sensible and clean way to write WebSocket-capable servers in Haskell. |
0.1.0.1 |
0 | 16 | 1 | 4 | unmaintained broken | ||
An equational theorem prover |
2.6.1 → 2.7.1 |
0 | 12 | 0 | 0 | unmaintained broken outdated | ||
A library for incremental computing |
0.1.0.1 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Collection of command line options and parsers for these options |
0.1.0.4 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Plays music generated by Turing machines with 5 states and 2 symbols |
0.1.1 |
0 | 7 | 0 | 0 | unmaintained broken | ||
A simple simulator for Turing machines |
0.1.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Functor, Applicative and Monad for n-ary tuples |
0.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Morph between tuples, or convert them from and to HLists |
0.1.0.0 |
0 | 7 | 1 | 7 | unmaintained broken | ||
Stock FieldN combos and generators |
0.1.0.2 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Functions to convert between tuples and HLists |
0.2.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Access tuple fields using record dot syntax |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Extra instances for the typeclasses in the tuple-append package |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Interface to TUN/TAP drivers |
0.0.2 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Playwright-like black-box testing for terminal UIs over PTY |
0.2.0.0 → 0.3.1.1 |
0 | 13 | 1 | 1 | unmaintained broken outdated | ||
Write stream processing computations with side effects in a series of tubes |
2.1.1.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Working with files for the Tiptoi® pen |
1.8.1 |
0 | 21 | 0 | 0 | unmaintained broken | ||
TheThingsNetwork client |
0.2.2.0 |
1 | 13 | 0 | 0 | single broken | ||
Extends hashtables so that entries added can be expired after a TTL |
1.4.1.0 |
0 | 12 | 0 | 0 | unmaintained broken | ||
This is task management tool for yourself, that inspired by scrum |
0.0.1.0 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Template tsv into SQL |
0.2.1.0 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Interacts with tesseract to ease reading of RAW Japanese manga |
0.2.0.0 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Parses U.S. federal Thrift Savings Plan PDF quarterly statements |
0.4.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Real time TSP tour visualization |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
- |
0.1.4 |
0 | 13 | 0 | 0 | unmaintained broken | ||
A Transaction Framework for Web Applications |
0.1 |
0 | 6 | 1 | 1 | unmaintained broken | ||
An implementation of a trust chain |
0.1.3.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Template Haskell hack to violate module abstractions |
0.2.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
A Tropical Geometry package for Haskell |
0.0.0.1 |
0 | 19 | 0 | 0 | unmaintained broken | ||
A library for tropical mathematics |
0.0.0.2 |
0 | 7 | 0 | 0 | unmaintained broken | ||
The trivial monad and comonad |
0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
TripleSec is a simple, triple-paranoid, symmetric encryption library |
0.2.2.1 |
0 | 13 | 0 | 0 | unmaintained broken | ||
A very simple triple store |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
A command-line tool for trimming whitespace |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Various trie implementations in Haskell |
0.0.6.1 |
0 | 17 | 2 | 3 | unmaintained broken | ||
Deprecated |
0.2.2 |
0 | 6 | 2 | 2 | unmaintained broken | ||
Library for polling Tremulous servers |
1.0.7 |
0 | 8 | 1 | 1 | unmaintained broken | ||
Generates HTML for Data.Tree as TreeMap |
0.1 |
0 | 8 | 1 | 1 | unmaintained broken | ||
A tree of Data.Map. |
2.4.0.20180213 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Functions and newtype wrappers for traversing Trees |
0.1.3.0 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Configurable text rendering of trees |
0.4.0.0 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Non-Determinism Monad for Tree Search |
0.3.2 |
0 | 6 | 2 | 3 | unmaintained broken | ||
Efficient implementation of the implicit treap data structure |
0.0.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Tray Icon application to PowerOff / Reboot computer |
1.0.0 |
0 | 7 | 0 | 0 | unmaintained broken | ||
A tool for finding haddocks |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
.travis.yml preprocessor |
0.1.0.0 |
0 | 17 | 0 | 0 | unmaintained broken | ||
A simple client implementation using Travis CI API |
0.1.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
General data structure lifting for Template Haskell |
0.1.1.1 |
0 | 10 | 0 | 0 | unmaintained broken | ||
See README for more info |
0.0.0.1 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Type Safe Web Routing |
0.4.1 |
0 | 12 | 6 | 6 | unmaintained broken | ||
Haskell binding to Google's AJAX Language API for Translation and Detection |
2010.1.24 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Integer sets with a constant time translate operation |
0.1 |
0 | 7 | 0 | 0 | unmaintained broken | ||
composing programs with multithreading, events and distributed computing |
0.7.0.0 |
0 | 7 | 4 | 4 | unmaintained broken | ||
Supply applicative, monad, applicative transformer and monad transformer |
0.1.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
A unified interface for the run operation of monad transformers |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Ad-hoc type classes for lifting |
0.2.0.2 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Free monad transformers |
1.0.1 |
0 | 6 | 1 | 2 | unmaintained broken | ||
Monad transformer for evaluating to a fixpoint |
1.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff |
0.2.1.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Control flow data type and monad transformer |
0.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Arrow-like / category-like composition for transformers |
0.1 |
0 | 6 | 1 | 1 | unmaintained broken | ||
Bifunctors over monad transformers |
0.1 |
0 | 7 | 5 | 5 | unmaintained broken | ||
Text transformer and interpreter |
0.13.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Transactional events, based on Concurrent ML semantics |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Monadic effect framework |
0.0.1 |
0 | 6 | 2 | 2 | unmaintained broken | ||
TrailDB bindings for Haskell |
0.1.4.1 |
0 | 9 | 0 | 0 | unmaintained broken |