Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Type System packages

Showing projects tagged as Type System

  • type-level-sets

    8.8 0.0 Haskell
    Type-level sets and finite maps (with value-level counterparts)
  • typelevel-rewrite-rules

    8.0 7.6 Haskell
    Solve type equalities using custom type-level rewrite rules
  • ghc-typelits-natnormalise

    8.0 4.0 Haskell
    GHC typechecker plugin for types of kind GHC.TypeLits.Nat
  • ghc-typelits-knownnat

    7.9 4.0 Haskell
    Derive KnownNat constraints from other KnownNat constraints
  • uom-plugin

    7.7 6.0 Haskell
    Units of measure as a GHC typechecker plugin
  • compound-types

    7.1 0.0 Haskell
    Sum and Product types and such
  • ghc-typelits-extra

    6.7 3.3 Haskell
    Additional type-level operations on GHC.TypeLits.Nat
  • supermonad

    6.6 0.0 Haskell
    Plugin and base library to support supermonads in Haskell
  • singletons-presburger

    6.4 7.5 Haskell
    Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
  • static-text

    6.1 - Haskell
    Lists, Texts, ByteStrings and Vectors of statically known length
  • hout

    5.7 5.9 Haskell
    Non-interactive proof assistant monad for first-order logic.
  • type-eq

    4.0 0.0 Haskell
    Type equality evidence you can carry around
  • cluss

    3.8 0.0 Haskell
    simple alternative to type classes
  • type-level-numbers

    2.9 0.0 Haskell
    Type level numbers implemented using type families.
  • funspection

    1.1 0.3 Haskell
    Type-level function utilities