10

8

6

4

2


7.2

2.1
type-combinators

6.9
0.0
type-aligned

5.3
0.0
type-level

4.5
0.0
type-equality

4.0
0.0
type-level-tf

4.0
0.0
type-fun

11 type packages and projects

  • type-combinators

    7.2 2.1 Haskell
    A collection of data types for type-level programming

  • type-aligned

    6.9 0.0 Haskell
    Various type-aligned sequence data structures.

  • type-level

    5.3 0.0 Haskell
    Type-level programming library

  • type-equality

    4.5 0.0 Haskell
    Type equality, coercion/cast and other operations.

  • type-level-tf

    4.0 0.0 Haskell
    Type-level programming library (type families)

  • type-fun

    4.0 0.0 Haskell
    Collection of widely reimplemented type families

  • type-unary

    3.4 1.7 Haskell
    Type-level and typed unary natural numbers, inequality proofs, vectors

  • type-combinators-quote

    3.0 0.0 Haskell
    Quasiquoters for the 'type-combinators' package.

  • type-map

    2.6 7.4 Haskell
    Type-indexed maps

  • type-combinators-singletons

    1.8 0.9 Haskell
    Interop between /type-combinators/ and /singletons/.

  • type-level-integers

    1.1 0.0 Haskell
    Provides integers lifted to the type level
Datadog - Monitor and correlate metrics, request traces, and logs in one platform. Try it free.
More from our partner

Popular Comparisons

SaaSHub - The independent software marketplace. Find the best software and alternatives.
More from our team

Add another 'type' Package