10

8

6

4

2


7.8

6.8

3.8
0.0
1.1
1.5

5 Type System packages and projects

  • typelevel-rewrite-rules

    7.8 6.7 Haskell
    Solve type equalities using custom type-level rewrite rules
  • uom-plugin

    7.8 6.8 Haskell
    Units of measure as a GHC typechecker plugin
  • type-level-numbers

    4.1 0.0 Haskell
    Type level numbers implemented using type families.
  • Scout gets developers back to coding faster. An intuitive UI streamlines real-time performance insight so you can quickly pinpoint & resolve issues before the customer ever sees them. Start your free trial today!
    Promoted scoutapm.com
  • type-eq

    3.8 0.0 Haskell
    Type equality evidence you can carry around
  • funspection

    1.1 1.5 Haskell
    Type-level function utilities

Popular Comparisons


99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

Add another 'Type System' Package