type-combinators-quote alternatives and similar packages

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

type-combinators

7.5 0.0 type-combinators-quote VS type-combinators

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

7.4 0.0 type-combinators-quote VS type-aligned

Various type-aligned sequence data structures.

Less time debugging, more time building

Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

Promo scoutapm.com

type-equality

6.2 0.0 type-combinators-quote VS type-equality

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

5.8 0.0 type-combinators-quote VS type-fun

Fun with types
type-level

5.7 0.0 type-combinators-quote VS type-level

Type-level programming library
type-unary

5.1 0.0 type-combinators-quote VS type-unary

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

4.8 0.0 type-combinators-quote VS type-map

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

3.7 0.0 type-combinators-quote VS type-combinators-singletons

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

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

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

2.2 0.0 type-combinators-quote VS type-level-integers

Provides integers lifted to the type level.