10

8

6

4

2


7.4
0.0

6.3
0.8

5.8

2.0

5.8
0.0

5.1
0.0

11 type packages and projects

  • type-combinators

    7.5 0.0 Haskell
    Type level lists, pairs, sums, their operations, and their properties.
  • type-aligned

    7.4 0.0 Haskell
    Various type-aligned sequence data structures.
  • Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
  • type-equality

    6.3 0.8 Haskell
    Haskell definition of type equality, coercion/cast and other operations.
  • type-fun

    5.8 2.0 Haskell
    Fun with types
  • type-level

    5.8 0.0 Haskell
    Type-level programming library
  • type-unary

    5.1 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-combinators-singletons

    3.7 0.0 Haskell
    Interop between type-combinators and singletons library
  • type-level-tf

    3.5 0.0 Haskell
    Type level numerics for Haskell using type families. Based on type-level.
  • type-combinators-quote

    2.6 0.0 Haskell
    Quasiquoters for the 'type-combinators' library.
  • type-level-integers

    2.3 0.0 Haskell
    Provides integers lifted to the type level.

Add another 'type' Package