10

8

6

4

2


7.7
0.0

4.1
0.0
0.6
0.0

5 Type System packages and projects

  • typelevel-rewrite-rules

    8.3 1.2 Haskell
    rewrite rules for type-level equalities
  • uom-plugin

    7.7 0.0 Haskell
    Units of measure as a GHC typechecker plugin
  • Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
    Promo coderabbit.ai
    CodeRabbit Logo
  • type-level-numbers

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

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

    0.6 0.0 Haskell
    Type-level function utilities

Popular Comparisons

Add another 'Type System' Package