type-fun alternatives and similar packages

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

• type-combinators

  7.3 0.0 type-fun VS type-combinators

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

• type-aligned

  7.1 0.0 type-fun 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-fun VS type-equality

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

• type-level

  5.8 0.0 type-fun VS type-level

  Type-level programming library
  

• type-unary

  5.1 0.0 type-fun VS type-unary

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

• type-map

  4.4 0.0 type-fun VS type-map

  Type-indexed maps, or a lightweight record library
  

• type-level-tf

  3.5 0.0 type-fun VS type-level-tf

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

• type-combinators-singletons

  3.4 0.0 type-fun VS type-combinators-singletons

  Interop between type-combinators and singletons library
  

• type-level-integers

  2.5 0.0 type-fun VS type-level-integers

  Provides integers lifted to the type level.
  

• type-combinators-quote

  1.7 0.0 type-fun VS type-combinators-quote

  Quasiquoters for the 'type-combinators' library.
  

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

SaaSHub - Software Alternatives and Reviews

featured www.saashub.com

Popular Comparisons

• type-fun
  vs
  type-aligned
• type-fun
  vs
  type-map
• type-combinators
  vs
  type-map
• type-level-integers
  vs
  type-map
• type-map
  vs
  type-combinators-singletons