10

8

6

4

2


8.1

2.6
typelevel-rewrite-rules

7.7
0.0
uom-plugin

5.1
0.0
type-level-numbers

2.6
0.0
type-eq
0.9
0.0
funspection

5 Type System packages and projects

  • typelevel-rewrite-rules

    8.1 2.6 Haskell
    rewrite rules for type-level equalities

  • uom-plugin

    7.7 0.0 Haskell
    Units of measure as a GHC typechecker plugin

    • Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
    Promo

  • type-level-numbers

    5.1 0.0 Haskell
    Implementation of type level natural and signed integer numbers in haskell using type families.

  • type-eq

    2.6 0.0 Haskell
    Type equality evidence you can carry around

  • funspection

    0.9 0.0 Haskell
    Type-level function utilities
OPS - Build and Run Open Source Unikernels
sponsored github.com/nanovms

Popular Comparisons

Static code analysis for 29 languages.
sponsored www.sonarqube.org

Add another 'Type System' Package