10

8

6

4

2


7.6
0.0

3.6
0.0
0.8
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.6 0.0 Haskell
    Units of measure as a GHC typechecker plugin
  • InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
    Promo www.influxdata.com
    InfluxDB Logo
  • type-level-numbers

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

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

    0.8 0.0 Haskell
    Type-level function utilities

Add another 'Type System' Package