type-level alternatives and similar packages

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

• type-combinators

  7.4 0.0 type-level VS type-combinators

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

• type-aligned

  7.3 0.0 type-level VS type-aligned

  Various type-aligned sequence data structures.
  

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

Promo www.saashub.com



• type-equality

  6.2 2.8 type-level VS type-equality

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

• type-fun

  5.7 0.0 type-level VS type-fun

  Fun with types
  

• type-unary

  5.1 0.0 type-level VS type-unary

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

• type-map

  4.7 0.0 type-level VS type-map

  Type-indexed maps, or a lightweight record library
  

• type-level-tf

  3.8 0.0 type-level VS type-level-tf

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

• type-combinators-quote

  2.9 0.0 type-level VS type-combinators-quote

  Quasiquoters for the 'type-combinators' library.
  

• type-level-integers

  2.9 0.0 type-level VS type-level-integers

  Provides integers lifted to the type level.
  

• type-combinators-singletons

  2.3 0.0 type-level VS type-combinators-singletons

  Interop between type-combinators and singletons library
  

Do you think we are missing an alternative of type-level or a related project?

Popular Comparisons

• type-level
  vs
  type-aligned
• type-level
  vs
  type-level-tf
• type-level
  vs
  type-map
• type-level
  vs
  type-combinators-quote
• type-level
  vs
  type-combinators-singletons