10

8

6

4

2


7.3
0.0
type-aligned

7.3
0.0
type-combinators

6.5
0.0
type-equality

6.2
0.0
type-fun

5.6
0.0
type-level

5.4
0.0
type-unary

11 type packages and projects

  • type-aligned

    7.3 0.0 Haskell
    Various type-aligned sequence data structures.

  • type-combinators

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

    • Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
    Promo

  • type-equality

    6.5 0.0 Haskell
    Haskell definition of type equality, coercion/cast and other operations.

  • type-fun

    6.2 0.0 Haskell
    Fun with types

  • type-level

    5.6 0.0 Haskell
    Type-level programming library

  • type-unary

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

  • type-map

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

  • type-level-tf

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

  • type-combinators-singletons

    3.0 0.0 Haskell
    Interop between type-combinators and singletons library

  • type-level-integers

    2.6 0.0 Haskell
    Provides integers lifted to the type level.

  • type-combinators-quote

    2.0 0.0 Haskell
    Quasiquoters for the 'type-combinators' library.
Collect and Analyze Billions of Data Points in Real Time
sponsored www.influxdata.com

Popular Comparisons

Free Global Payroll designed for tech teams
sponsored try.revelo.com

Add another 'type' Package