10

8

6

4

2


6.6

2.5
type-equality

7.2
0.0
type-combinators
1.6
0.0
type-combinators-quote

5.8
0.0
type-level

4.1
0.0
type-level-tf

5.3
0.0
type-unary

11 type packages and projects

  • type-equality

    6.6 2.5 Haskell
    Haskell definition of type equality, coercion/cast and other operations.

  • type-combinators

    7.2 0.0 Haskell
    Type level lists, pairs, sums, their operations, and their properties.

    • The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
    Promo workos.com
    WorkOS Logo

  • type-combinators-quote

    1.6 0.0 Haskell
    Quasiquoters for the 'type-combinators' library.

  • type-level

    5.8 0.0 Haskell
    Type-level programming library

  • type-level-tf

    4.1 0.0 Haskell
    Type level numerics for Haskell using type families. Based on type-level.

  • type-unary

    5.3 0.0 Haskell
    Type-level and typed unary natural numbers, vectors, inequality proofs

  • type-fun

    5.9 0.0 Haskell
    Fun with types

  • type-level-integers

    2.2 0.0 Haskell
    Provides integers lifted to the type level.

  • type-map

    4.8 0.0 Haskell
    Type-indexed maps, or a lightweight record library

  • type-aligned

    7.3 0.0 Haskell
    Various type-aligned sequence data structures.

  • type-combinators-singletons

    3.7 0.0 Haskell
    Interop between type-combinators and singletons library
InfluxDB - Power Real-Time Data Analytics at Scale
sponsored www.influxdata.com

Popular Comparisons

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

Add another 'type' Package