10

8

6

4

2


7.6
0.0
type-combinators

7.0
0.0
type-aligned

6.4

2.9
type-equality

5.2
0.0
type-level

4.6
0.0
type-unary

4.4
0.0
type-fun

11 type packages and projects

  • type-combinators

    7.6 0.0 Haskell
    A collection of data types for type-level programming

  • type-aligned

    7.0 0.0 Haskell
    Various type-aligned sequence data structures.

  • type-equality

    6.4 2.9 Haskell
    Type equality, coercion/cast and other operations.

    • Scout gets developers back to coding faster. An intuitive UI streamlines real-time performance insight so you can quickly pinpoint & resolve issues before the customer ever sees them. Start your free trial today!
    Promoted scoutapm.com

  • type-level

    5.2 0.0 Haskell
    Type-level programming library

  • type-unary

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

  • type-fun

    4.4 0.0 Haskell
    Collection of widely reimplemented type families

  • type-level-tf

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

  • type-map

    3.8 0.0 Haskell
    Type-indexed maps

  • type-combinators-singletons

    3.3 0.0 Haskell
    Interop between /type-combinators/ and /singletons/.

  • type-combinators-quote

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

  • type-level-integers

    2.6 0.0 Haskell
    Provides integers lifted to the type level

Popular Comparisons


99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

SaaSHub - Software Alternatives and Reviews
More from our partner

Add another 'type' Package