Popularity
5.0
Growing
Activity
0.0
Declining
8
4
1

Monthly Downloads: 23
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Type System     Type    

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.

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

Add another 'type' Package
InfluxDB - Power Real-Time Data Analytics at Scale
sponsored www.influxdata.com
WorkOS - The modern identity platform for B2B SaaS
sponsored workos.com

README

type-level-number Build Status

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