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

  7.3 0.0 type-fun VS type-aligned

  Various type-aligned sequence data structures.

• type-combinators

  7.2 0.0 type-fun VS type-combinators

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

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

  6.6 2.5 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.3 0.0 type-fun VS type-unary

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

• type-map

  4.8 0.0 type-fun VS type-map

  Type-indexed maps, or a lightweight record library

• type-level-tf

  4.1 0.0 type-fun VS type-level-tf

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

• type-combinators-singletons

  3.7 0.0 type-fun VS type-combinators-singletons

  Interop between type-combinators and singletons library

• type-level-integers

  2.2 0.0 type-fun VS type-level-integers

  Provides integers lifted to the type level.

• type-combinators-quote

  1.6 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?

WorkOS - The modern identity platform for B2B SaaS

sponsored workos.com

Popular Comparisons

• type-fun
  vs
  type-map
• type-unary
  vs
  type-level-integers
• type-level-tf
  vs
  type-map
• type-map
  vs
  type-combinators-singletons
• type-level-integers
  vs
  type-map

SaaSHub - Software Alternatives and Reviews

sponsored www.saashub.com