10

8

6

4

2


8.4

3.0
typelevel-rewrite-rules

7.7
0.0
uom-plugin

5.0
0.0
type-level-numbers

4.1
0.0
type-eq
0.6
0.0
funspection

5 Type System packages and projects

  • typelevel-rewrite-rules

    8.4 3.0 Haskell
    rewrite rules for type-level equalities

  • uom-plugin

    7.7 0.0 Haskell
    Units of measure as a GHC typechecker plugin

    • Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
    Promo www.influxdata.com
    InfluxDB Logo

  • type-level-numbers

    5.0 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
WorkOS - The modern identity platform for B2B SaaS
sponsored workos.com

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
sponsored www.saashub.com

Add another 'Type System' Package