19,399 packages · page 179 of 194
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Simulator of twisty puzzles à la Rubik's Cube |
0.1.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
A high level file watcher DSL |
0.1.7.2 |
0 | 11 | 3 | 4 | unmaintained broken | ||
Client access to Twitch.tv API endpoints |
0.0.5 |
0 | 13 | 0 | 0 | unmaintained broken | ||
A Haskell-based CLI Twitter client |
0.1.1 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Twitter API package with conduit interface and Streaming API support |
0.6.1 |
0 | 24 | 5 | 5 | unmaintained broken | ||
Twitter API package with enumerator interface and Streaming API support |
0.0.3 |
0 | 14 | 0 | 0 | unmaintained | ||
Client for fetching Twitter timeline via Oauth |
0.2.0.11 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Twitter JSON parser and types |
0.11.0 |
0 | 8 | 4 | 7 | unmaintained | ||
Twitter JSON types (lens powered) |
0.11.0 |
0 | 8 | 2 | 6 | unmaintained | ||
reader for the 2bit file format |
1.0.1 |
0 | 11 | 0 | 0 | unmaintained | ||
Persistent transactions on top of STM |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Text |
0.0.3.0 |
0 | 11 | 1 | 1 | unmaintained broken | ||
The SQL link in your *NIX chain |
0.6.0 |
0 | 7 | 2 | 2 | unmaintained | ||
Filter to convert plain text files to RTF |
1.0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Deprecated in favor of eros |
0.2.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Typed type representations and equality proofs |
0.1.7 |
0 | 6 | 4 | 14 | unmaintained | ||
Provide proof witnesses for closed type family evaluation |
0.1.1.2 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Analyzes Haskell source files for easy reference |
0.1.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Various type-aligned sequence data structures |
0.9.6 |
0 | 6 | 3 | 3 | unmaintained | ||
Runtime type assertions for testing |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Type-level booleans via type-families |
0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Utilities for caching type families results. Sometimes complex type families take long time to compile, so it is proficient to cache them and use the final result without the need of re-computation. |
1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Type-level serialization of type constructors |
0.3 |
0 | 10 | 2 | 2 | unmaintained | ||
A collection of data types for type-level programming |
0.2.4.3 |
0 | 6 | 5 | 10 | unmaintained broken | ||
Quasiquoters for the 'type-combinators' package |
0.1.0.1 |
0 | 8 | 1 | 1 | unmaintained | ||
Interop between /type-combinators/ and /singletons/ |
0.2.1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Type-level Ord compatibility layer |
0.1.1 |
0 | 6 | 3 | 4 | unmaintained broken | ||
Arbitrary-base type-level digits |
0.3 |
0 | 7 | 3 | 4 | unmaintained | ||
Type equality evidence you can carry around |
0.5 |
0 | 7 | 1 | 1 | unmaintained broken | ||
Data.Type.Equality compat package |
1.0.1 |
0 | 6 | 4 | 4 | unmaintained | ||
Type equality check |
0.0.0.4 |
0 | 7 | 0 | 0 | unmaintained | ||
Tools for writing better type errors |
0.2.0.2 |
0 | 9 | 7 | 117 | unmaintained | ||
Combinators for writing pretty type errors easily |
0.0.1.2 |
0 | 8 | 2 | 9 | unmaintained broken | ||
0.1.0.0 |
0 | 6 | 5 | 7 | unmaintained | |||
A library for folding types to a value |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Collection of widely reimplemented type families |
0.1.3 |
0 | 6 | 3 | 10 | unmaintained | ||
Emulation of type-level functions |
0.2.0.4 |
0 | 7 | 3 | 3 | unmaintained | ||
Guide type inference with proxy values |
0.1 |
0 | 6 | 3 | 23 | unmaintained | ||
Queues with verified and unverified versions |
0.2.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Type Level 2s- and 16s- Complement Integers |
0.5.0.2 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Interpreter for Template Haskell types |
0.1.4 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Typeclasses for injective relations and isomorphisms between types |
1.0.1.0 |
0 | 11 | 1 | 1 | unmaintained | ||
Type-level programming library |
0.3.0 |
0 | 7 | 13 | 17 | unmaintained | ||
type-level binary search trees in haskell |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Tools for manipulating type-level bytes and bytestrings |
0.2.0 |
0 | 8 | 2 | 5 | unmaintained | ||
Provides integers lifted to the type level |
0.0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Type level Key-Value list |
2.0.2.0 |
0 | 8 | 2 | 2 | unmaintained | ||
Make Esqueleto handy with type-level-kv-list |
0.1.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Make Persistent Raw SQL handy with type-level-kv-list |
0.2.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Simple type level natural numbers |
2.0 |
0 | 6 | 6 | 8 | unmaintained | ||
High-level combinators for performing inductive operations |
1.0.0.1 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Basic operations on type-level natural numbers |
1.0 |
0 | 7 | 1 | 1 | unmaintained broken | ||
Type level numbers implemented using type families |
0.1.1.2 |
0 | 6 | 0 | 0 | unmaintained | ||
Type level pseudorandom number generators |
0.1.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Type-level sets and finite maps (with value-level counterparts) |
0.8.9.0 |
0 | 6 | 3 | 3 | unmaintained broken | ||
Utilities for writing Show-like type families |
0.3.0 |
0 | 8 | 4 | 8 | unmaintained | ||
Type-level programming library (type families) |
0.2.1 |
0 | 7 | 1 | 1 | unmaintained | ||
Operations on type-level lists and tuples |
0.5.0.0 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Type-level functions for record types |
0.1.0.2 |
0 | 8 | 0 | 0 | unmaintained | ||
Type-indexed maps |
0.1.7.0 |
0 | 10 | 0 | 0 | unmaintained | ||
Type-level natural and proofs of their properties |
1.3.0.2 |
0 | 18 | 5 | 9 | unmaintained | ||
High performance type driven html generation |
1.6.2.0 |
0 | 9 | 1 | 1 | unmaintained | ||
Optimize static parts of type-of-html |
0.1.0.2 |
0 | 7 | 0 | 0 | unmaintained broken | ||
Various type-level operators |
0.2.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Type-level comparison operator |
0.3 |
0 | 8 | 2 | 2 | unmaintained | ||
Generic type-level comparison of types |
0.2 |
0 | 9 | 1 | 1 | unmaintained | ||
Partial port of prelude to the type level. Requires GHC 7.6.1. |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Support functions to work with type representations |
1.0 |
0 | 10 | 1 | 1 | unmaintained broken | ||
Classes for the rig (sums and products) of types |
0.1 |
0 | 7 | 1 | 1 | unmaintained | ||
Type safe BST and AVL trees |
1.0.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Type set |
0.1.0.0 |
0 | 7 | 5 | 7 | unmaintained | ||
Type-level sets |
0.1.1.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Sets and functions-as-relations in the type system |
0.1.3.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Type Level Specification by Example |
0.4.0.0 |
0 | 6 | 13 | 32 | unmaintained | ||
A spine-view on types |
0.2.20120924 |
0 | 6 | 6 | 6 | unmaintained broken | ||
Type structure analysis |
0.1.1 |
0 | 17 | 0 | 0 | unmaintained | ||
Substitute types for other types with Template Haskell |
0.1.0.6 |
0 | 16 | 1 | 1 | unmaintained | ||
Tree representations of datatypes |
0.2.0.1 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Type-level and typed unary natural numbers, inequality proofs, vectors |
0.3.2 |
0 | 11 | 4 | 10 | unmaintained broken | ||
Mock functions and expressions anywhere |
0.1.0.1 |
0 | 9 | 0 | 0 | unmaintained | ||
Automatic deriving of TypeableN instances with Template Haskell |
0.1.5 |
0 | 6 | 0 | 0 | unmaintained broken | ||
DerivingVia Typeable counterpart to Generically |
0.1.0 |
0 | 6 | 0 | 0 | unmaintained | ||
An implementation of LangChain in Haskell |
0.2.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
0.1.0.11 |
0 | 7 | 1 | 9 | unmaintained | ||
Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
0.1.0.12 |
0 | 7 | 0 | 0 | unmaintained | ||
Admin console framework |
0.1.0.0 |
0 | 28 | 0 | 0 | unmaintained broken | ||
Digits, indexed by their base at the type level |
0.1.0.0 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Thread delay and timeout functions with typed arguments |
0.1.1.0 |
0 | 9 | 0 | 0 | unmaintained | ||
Type safe string transformations |
0.5.2.3 |
0 | 13 | 1 | 1 | unmaintained broken | ||
Bridge between encoding and typed-encoding packages |
0.1.0.0 |
0 | 13 | 0 | 0 | unmaintained | ||
A framework for strongly typed FSM |
0.3.0.1 |
0 | 9 | 1 | 1 | unmaintained | ||
GUI framework based on typed-fsm |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Run external processes, with strong typing of streams |
0.2.13.0 |
0 | 12 | 103 | 15,621 | unmaintained | ||
A binding of the typed-process library for the effectful effect system |
1.0.0.4 → 1.0.0.5 |
0 | 10 | 0 | 0 | unmaintained broken outdated | ||
A framework for strongly typed protocols |
1.2.1.0 → 1.2.2.0 |
0 | 15 | 1 | 1 | unmaintained broken outdated | ||
Derive documentation from typed-protocols source code |
0.2.0.0 |
0 | 20 | 0 | 0 | unmaintained broken | ||
An efficient and versatile typed range library |
0.1.0.1 |
0 | 12 | 0 | 0 | unmaintained | ||
typed session framework |
0.3.0.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Automatically generate status for typed-session |
0.5.0.0 |
0 | 11 | 1 | 1 | unmaintained broken | ||
Typed and composable spreadsheets |
1.1.5 |
1 | 13 | 1 | 2 | single broken |