type-level-integers alternatives and similar packages

Based on the "type" category.
Alternatively, view type-level-integers alternatives based on common mentions on social networks and blogs.

type-combinators

7.5 0.0 type-level-integers VS type-combinators

Type level lists, pairs, sums, their operations, and their properties.
type-aligned

7.4 0.0 type-level-integers VS type-aligned

Various type-aligned sequence data structures.

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

type-equality

6.4 0.0 type-level-integers VS type-equality

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

6.1 0.0 type-level-integers VS type-fun

Fun with types
type-level

5.7 0.0 type-level-integers VS type-level

Type-level programming library
type-unary

5.0 0.0 type-level-integers VS type-unary

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

4.7 0.0 type-level-integers VS type-map

Type-indexed maps, or a lightweight record library
type-combinators-singletons

3.6 0.0 type-level-integers VS type-combinators-singletons

Interop between type-combinators and singletons library
type-level-tf

3.2 0.0 type-level-integers VS type-level-tf

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

2.2 0.0 type-level-integers VS type-combinators-quote

Quasiquoters for the 'type-combinators' library.

Do you think we are missing an alternative of type-level-integers or a related project?

Add another 'type' Package

Popular Comparisons

README

type-level-integers

This Haskell package implements naive type level integers. It exposes the module Data.Type.Integer which exports a new kind LiftedInt populated by the types Z (zero) and LInt Sign PosNat. In other words, a (type level) integer is either zero or a positive natural number together with a sign.

The module exports the type families LIntSucc, LIntPred, LIntInvert, LIntPlus and LIntMinus for manipulating types of kind LiftedInt.

type-level-integers

Provides integers lifted to the type level.

type-level-integers alternatives and similar packages

Popular Comparisons

README

type-level-integers