10

8

6

4

2


8.0

7.6
typelevel-rewrite-rules

7.7

6.0
uom-plugin

4.0
0.0
type-eq

2.9
0.0
type-level-numbers
1.1
0.3
funspection

5 Type System packages and projects

  • typelevel-rewrite-rules

    8.0 7.6 Haskell
    Solve type equalities using custom type-level rewrite rules

  • uom-plugin

    7.7 6.0 Haskell
    Units of measure as a GHC typechecker plugin

  • type-eq

    4.0 0.0 Haskell
    Type equality evidence you can carry around

  • type-level-numbers

    2.9 0.0 Haskell
    Type level numbers implemented using type families.

  • funspection

    1.1 0.3 Haskell
    Type-level function utilities

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
View more from us

Add another 'Type System' Package