Type-level-integers Alternatives

Similar projects and alternatives to type-level-integers

• type-unary

  0 6 0.0 Haskell type-level-integers VS type-unary

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

• type-map

  0 5 0.0 Haskell type-level-integers VS type-map

  Type-indexed maps, or a lightweight record library

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• type-combinators

  0 24 0.0 Haskell type-level-integers VS type-combinators

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

• type-combinators-quote

  0 2 0.0 Haskell type-level-integers VS type-combinators-quote

  Quasiquoters for the 'type-combinators' library.

• type-equality

  0 10 2.5 Haskell type-level-integers VS type-equality

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

• type-level

  0 6 0.0 Haskell type-level-integers VS type-level
  

• type-fun

  0 5 0.0 Haskell type-level-integers VS type-fun

  Fun with types

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• type-aligned

  0 20 0.0 Haskell type-level-integers VS type-aligned

  Various type-aligned sequence data structures.

• type-combinators-singletons

  0 4 0.0 Haskell type-level-integers VS type-combinators-singletons

  Interop between type-combinators and singletons library

• type-level-tf

  0 3 0.0 Haskell type-level-integers VS type-level-tf

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