type-level-tf alternatives and similar packages

Based on the "type" category.
Alternatively, view type-level-tf alternatives based on common mentions on social networks and blogs.

type-aligned

7.5 0.0 type-level-tf VS type-aligned

Various type-aligned sequence data structures.
type-combinators

7.5 0.0 type-level-tf VS type-combinators

Type level lists, pairs, sums, their operations, and their properties.

Scout APM: A developer's best friend. Try free for 14-days

Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

Promo scoutapm.com

type-equality

6.3 1.9 type-level-tf VS type-equality

Haskell definition of type equality, coercion/cast and other operations.
type-fun

5.9 2.5 type-level-tf VS type-fun

Fun with types
type-level

5.7 0.0 type-level-tf VS type-level

Type-level programming library
type-unary

5.2 0.0 type-level-tf VS type-unary

Type-level and typed unary natural numbers, vectors, inequality proofs
type-map

4.4 0.0 type-level-tf VS type-map

Type-indexed maps, or a lightweight record library
type-combinators-singletons

3.0 0.0 type-level-tf VS type-combinators-singletons

Interop between type-combinators and singletons library
type-combinators-quote

2.7 0.0 type-level-tf VS type-combinators-quote

Quasiquoters for the 'type-combinators' library.
type-level-integers

2.3 0.0 type-level-tf VS type-level-integers

Provides integers lifted to the type level.