type-combinators alternatives and similar packages

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

type-aligned

7.3 0.0 type-combinators VS type-aligned

Various type-aligned sequence data structures.
type-equality

6.6 2.5 type-combinators VS type-equality

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

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com

type-fun

5.9 0.0 type-combinators VS type-fun

Fun with types
type-level

5.8 0.0 type-combinators VS type-level

Type-level programming library
type-unary

5.3 0.0 type-combinators VS type-unary

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

4.8 0.0 type-combinators VS type-map

Type-indexed maps, or a lightweight record library
type-level-tf

4.1 0.0 type-combinators VS type-level-tf

Type level numerics for Haskell using type families. Based on type-level.
type-combinators-singletons

3.7 0.0 type-combinators VS type-combinators-singletons

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

2.2 0.0 type-combinators VS type-level-integers

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

1.6 0.0 type-combinators VS type-combinators-quote

Quasiquoters for the 'type-combinators' library.