Haskell Type System

8.1

0.0

typelevel-rewrite-rules

7.8

0.6

uom-plugin

4.1

0.0

type-level-numbers

3.8

0.0

type-eq

1.0

0.3

funspection

5 Type System packages and projects

typelevel-rewrite-rules

8.1 0.0 Haskell

rewrite rules for type-level equalities
uom-plugin

7.8 0.6 Haskell

Units of measure as a GHC typechecker plugin

Scout APM - Leading-edge performance monitoring starting at $39/month

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

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

3.8 0.0 Haskell

Type equality evidence you can carry around
funspection

1.0 0.3 Haskell

Type-level function utilities

Popular Comparisons

type-eq

vs

uom-plugin

Add another 'Type System' Package