10

8

6

4

2


7.7
0.0
0.7
0.0

4.0
0.0

5 Type System packages and projects

  • uom-plugin

    7.7 0.0 Haskell
    Units of measure as a GHC typechecker plugin
  • typelevel-rewrite-rules

    8.4 0.0 Haskell
    rewrite rules for type-level equalities
  • Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
  • funspection

    0.7 0.0 Haskell
    Type-level function utilities
  • type-eq

    4.0 0.0 Haskell
    Type equality evidence you can carry around
  • type-level-numbers

    4.9 4.4 Haskell
    Implementation of type level natural and signed integer numbers in haskell using type families.

Add another 'Type System' Package