10

8

6

4

2


7.8

7.1
uom-plugin

4.4
0.0
type-eq

3.0
0.0
type-level-numbers

3 Type System packages and projects

  • uom-plugin

    7.8 7.1 Haskell
    Units of measure as a GHC typechecker plugin

  • type-eq

    4.4 0.0 Haskell
    Type equality evidence you can carry around

  • type-level-numbers

    3.0 0.0 Haskell
    Type level numbers implemented using type families.
Datadog - Monitor and correlate metrics, request traces, and logs in one platform. Try it free.
More from our partner

Popular Comparisons

SaaSHub - The independent software marketplace. Find the best software and alternatives.
More from our team

Add another 'Type System' Package