19,399 packages · page 16 of 194
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Automatically generate status for typed-session |
0.5.0.0 |
0 | 11 | 1 | 1 | unmaintained broken | ||
typed session framework |
0.3.0.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
An efficient and versatile typed range library |
0.1.0.1 |
0 | 12 | 0 | 0 | unmaintained | ||
Derive documentation from typed-protocols source code |
0.2.0.0 |
0 | 20 | 0 | 0 | unmaintained broken | ||
A framework for strongly typed protocols |
1.2.1.0 → 1.2.2.0 |
0 | 15 | 1 | 1 | unmaintained broken outdated | ||
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 | ||
Run external processes, with strong typing of streams |
0.2.13.0 |
0 | 12 | 103 | 15,206 | unmaintained | ||
GUI framework based on typed-fsm |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
A framework for strongly typed FSM |
0.3.0.1 |
0 | 9 | 1 | 1 | unmaintained | ||
Bridge between encoding and typed-encoding packages |
0.1.0.0 |
0 | 13 | 0 | 0 | unmaintained | ||
Type safe string transformations |
0.5.2.3 |
0 | 13 | 1 | 1 | unmaintained broken | ||
Thread delay and timeout functions with typed arguments |
0.1.1.0 |
0 | 9 | 0 | 0 | unmaintained | ||
Digits, indexed by their base at the type level |
0.1.0.0 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Admin console framework |
0.1.0.0 |
0 | 28 | 0 | 0 | unmaintained broken | ||
Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
0.1.0.12 |
0 | 7 | 0 | 0 | unmaintained | ||
Simple type check plugin which calculate addition, subtraction and less-or-equal-than |
0.1.0.11 |
0 | 7 | 1 | 9 | unmaintained | ||
An implementation of LangChain in Haskell |
0.2.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
DerivingVia Typeable counterpart to Generically |
0.1.0 |
0 | 6 | 0 | 0 | unmaintained | ||
Automatic deriving of TypeableN instances with Template Haskell |
0.1.5 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Mock functions and expressions anywhere |
0.1.0.1 |
0 | 9 | 0 | 0 | unmaintained | ||
Type-level and typed unary natural numbers, inequality proofs, vectors |
0.3.2 |
0 | 11 | 4 | 10 | unmaintained broken | ||
Tree representations of datatypes |
0.2.0.1 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Substitute types for other types with Template Haskell |
0.1.0.6 |
0 | 16 | 1 | 1 | unmaintained | ||
Type structure analysis |
0.1.1 |
0 | 17 | 0 | 0 | unmaintained | ||
A spine-view on types |
0.2.20120924 |
0 | 6 | 6 | 6 | unmaintained broken | ||
Type Level Specification by Example |
0.4.0.0 |
0 | 6 | 13 | 32 | unmaintained | ||
Sets and functions-as-relations in the type system |
0.1.3.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Type-level sets |
0.1.1.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Type set |
0.1.0.0 |
0 | 7 | 5 | 7 | unmaintained | ||
Type safe BST and AVL trees |
1.0.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Classes for the rig (sums and products) of types |
0.1 |
0 | 7 | 1 | 1 | unmaintained | ||
Support functions to work with type representations |
1.0 |
0 | 10 | 1 | 1 | unmaintained broken | ||
Partial port of prelude to the type level. Requires GHC 7.6.1. |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Generic type-level comparison of types |
0.2 |
0 | 9 | 1 | 1 | unmaintained | ||
Type-level comparison operator |
0.3 |
0 | 8 | 2 | 2 | unmaintained | ||
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 | ||
High performance type driven html generation |
1.6.2.0 |
0 | 9 | 1 | 1 | unmaintained | ||
Type-level natural and proofs of their properties |
1.3.0.2 |
0 | 18 | 5 | 9 | unmaintained | ||
Type-indexed maps |
0.1.7.0 |
0 | 10 | 0 | 0 | unmaintained | ||
Type-level functions for record types |
0.1.0.2 |
0 | 8 | 0 | 0 | unmaintained | ||
Operations on type-level lists and tuples |
0.5.0.0 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Type-level programming library (type families) |
0.2.1 |
0 | 7 | 1 | 1 | unmaintained | ||
Utilities for writing Show-like type families |
0.3.0 |
0 | 8 | 4 | 8 | unmaintained | ||
Type-level sets and finite maps (with value-level counterparts) |
0.8.9.0 |
0 | 6 | 3 | 3 | unmaintained broken | ||
Type level pseudorandom number generators |
0.1.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Type level numbers implemented using type families |
0.1.1.2 |
0 | 6 | 0 | 0 | unmaintained | ||
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 | ||
Simple type level natural numbers |
2.0 |
0 | 6 | 6 | 8 | unmaintained | ||
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 Key-Value list |
2.0.2.0 |
0 | 8 | 2 | 2 | unmaintained | ||
Provides integers lifted to the type level |
0.0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Tools for manipulating type-level bytes and bytestrings |
0.2.0 |
0 | 8 | 2 | 5 | unmaintained | ||
type-level binary search trees in haskell |
0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Type-level programming library |
0.3.0 |
0 | 7 | 13 | 17 | unmaintained | ||
Typeclasses for injective relations and isomorphisms between types |
1.0.1.0 |
0 | 11 | 1 | 1 | unmaintained | ||
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 | ||
Guide type inference with proxy values |
0.1 |
0 | 6 | 3 | 23 | unmaintained | ||
Emulation of type-level functions |
0.2.0.4 |
0 | 7 | 3 | 3 | unmaintained | ||
Collection of widely reimplemented type families |
0.1.3 |
0 | 6 | 3 | 10 | unmaintained | ||
A library for folding types to a value |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained broken | ||
0.1.0.0 |
0 | 6 | 5 | 7 | unmaintained | |||
Combinators for writing pretty type errors easily |
0.0.1.2 |
0 | 8 | 2 | 9 | unmaintained broken | ||
Tools for writing better type errors |
0.2.0.2 |
0 | 9 | 7 | 117 | unmaintained | ||
Type equality check |
0.0.0.4 |
0 | 7 | 0 | 0 | unmaintained | ||
Data.Type.Equality compat package |
1.0.1 |
0 | 6 | 4 | 4 | unmaintained | ||
Type equality evidence you can carry around |
0.5 |
0 | 7 | 1 | 1 | unmaintained broken | ||
Arbitrary-base type-level digits |
0.3 |
0 | 7 | 3 | 4 | unmaintained | ||
Type-level Ord compatibility layer |
0.1.1 |
0 | 6 | 3 | 4 | unmaintained broken | ||
Interop between /type-combinators/ and /singletons/ |
0.2.1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Quasiquoters for the 'type-combinators' package |
0.1.0.1 |
0 | 8 | 1 | 1 | unmaintained | ||
A collection of data types for type-level programming |
0.2.4.3 |
0 | 6 | 5 | 10 | unmaintained broken | ||
Type-level serialization of type constructors |
0.3 |
0 | 10 | 2 | 2 | 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 booleans via type-families |
0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Runtime type assertions for testing |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Various type-aligned sequence data structures |
0.9.6 |
0 | 6 | 3 | 3 | unmaintained | ||
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 | ||
Typed type representations and equality proofs |
0.1.7 |
0 | 6 | 4 | 14 | unmaintained | ||
Deprecated in favor of eros |
0.2.0.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Filter to convert plain text files to RTF |
1.0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
The SQL link in your *NIX chain |
0.6.0 |
0 | 7 | 2 | 2 | unmaintained | ||
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 | ||
reader for the 2bit file format |
1.0.1 |
0 | 11 | 0 | 0 | unmaintained | ||
Twitter JSON types (lens powered) |
0.11.0 |
0 | 8 | 2 | 6 | unmaintained | ||
Twitter JSON parser and types |
0.11.0 |
0 | 8 | 4 | 7 | unmaintained | ||
Client for fetching Twitter timeline via Oauth |
0.2.0.11 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Twitter API package with enumerator interface and Streaming API support |
0.0.3 |
0 | 14 | 0 | 0 | unmaintained | ||
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 |