10

8

6

4

2


8.1
0.0
typelevel-rewrite-rules

7.9

3.9
uom-plugin

4.1
0.0
type-level-numbers

3.8
0.0
type-eq
1.1
0.6
funspection

5 Type System packages and projects

  • typelevel-rewrite-rules

    8.1 0.0 Haskell
    Solve type equalities using custom type-level rewrite rules

  • uom-plugin

    7.9 3.9 Haskell
    Units of measure as a GHC typechecker plugin

    • Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
    Sponsored scoutapm.com

  • type-level-numbers

    4.1 0.0 Haskell
    Type level numbers implemented using type families.

  • type-eq

    3.8 0.0 Haskell
    Type equality evidence you can carry around

  • funspection

    1.1 0.6 Haskell
    Type-level function utilities

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
Sponsored www.saashub.com

Add another 'Type System' Package