Popularity
3.2
Declining
Activity
0.0
Stable
3
1
3
Monthly Downloads: 7
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
type-level-tf alternatives and similar packages
Based on the "type" category.
Alternatively, view type-level-tf alternatives based on common mentions on social networks and blogs.
-
type-combinators
Type level lists, pairs, sums, their operations, and their properties. -
type-equality
Haskell definition of type equality, coercion/cast and other operations. -
type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs -
type-combinators-singletons
Interop between type-combinators and singletons library -
type-combinators-quote
Quasiquoters for the 'type-combinators' library. -
type-level-integers
Provides integers lifted to the type level.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com
Do you think we are missing an alternative of type-level-tf or a related project?