Monthly Downloads: 13
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
type-level alternatives and similar packages
Based on the "type" category.
Alternatively, view type-level alternatives based on common mentions on social networks and blogs.
type-aligned7.4 0.0 type-level VS type-alignedVarious type-aligned sequence data structures.
type-combinators7.4 0.0 type-level VS type-combinatorsType level lists, pairs, sums, their operations, and their properties.
type-equality6.4 0.0 type-level VS type-equalityHaskell definition of type equality, coercion/cast and other operations.
type-fun6.1 0.0 type-level VS type-funFun with types
type-unary5.2 0.0 type-level VS type-unaryType-level and typed unary natural numbers, vectors, inequality proofs
type-map4.7 0.0 type-level VS type-mapType-indexed maps, or a lightweight record library
type-combinators-singletonsInterop between type-combinators and singletons library
type-level-tf3.2 0.0 type-level VS type-level-tfType level numerics for Haskell using type families. Based on type-level.
type-combinators-quoteQuasiquoters for the 'type-combinators' library.
type-level-integersProvides integers lifted to the type level.
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Do you think we are missing an alternative of type-level or a related project?