Haskell Type System

8.3

1.2

typelevel-rewrite-rules

7.6

0.0

uom-plugin

4.8

0.0

type-level-numbers

3.6

0.0

type-eq

0.8

0.0

funspection

5 Type System packages and projects

typelevel-rewrite-rules

8.3 1.2 Haskell

rewrite rules for type-level equalities
uom-plugin

7.6 0.0 Haskell

Units of measure as a GHC typechecker plugin

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com

type-level-numbers

4.8 0.0 Haskell

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

3.6 0.0 Haskell

Type equality evidence you can carry around
funspection

0.8 0.0 Haskell

Type-level function utilities

Popular Comparisons

uom-plugin

vs

type-eq
uom-plugin

vs

funspection
type-level-numbers

vs

typelevel-rewrite-rules
uom-plugin

vs

typelevel-rewrite-rules

Add another 'Type System' Package