Type-level-tf Alternatives

Similar projects and alternatives to type-level-tf

• type-map

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

  Type-indexed maps, or a lightweight record library

• type-fun

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

  Fun with types

• InfluxDB

  www.influxdata.com featured

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

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

  Quasiquoters for the 'type-combinators' library.

• type-equality

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

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

• type-level

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

• type-aligned

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

  Various type-aligned sequence data structures.

• type-combinators-singletons

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

  Interop between type-combinators and singletons library

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• type-unary

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

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

• type-level-integers

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

  Provides integers lifted to the type level.

• type-combinators

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

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