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-combinators

7.3 0.0 type-level-tf VS type-combinators

Type level lists, pairs, sums, their operations, and their properties.
type-aligned

7.1 0.0 type-level-tf VS type-aligned

Various type-aligned sequence data structures.

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com

type-equality

6.5 2.8 type-level-tf VS type-equality

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

5.8 0.0 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.1 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.4 0.0 type-level-tf VS type-combinators-singletons

Interop between type-combinators and singletons library
type-level-integers

2.5 0.0 type-level-tf VS type-level-integers

Provides integers lifted to the type level.
type-combinators-quote

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

Quasiquoters for the 'type-combinators' library.