type-level-numbers alternatives and similar packages

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

type-eq

3.9 0.0 type-level-numbers VS type-eq

Type equality evidence you can carry around

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

Add another 'type' Package

README

type-level-number

This is type level numbers implemented using type families. Natural numbers use binary encoding. With default context stack numbers up to 2^18-1 could be represented. Signed integer numbers use balanced ternary encoding.

type-level-numbers

Implementation of type level natural and signed integer numbers in haskell using type families.

type-level-numbers alternatives and similar packages

type-eq

README

type-level-number