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.7 4.4 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)
  • ghc-typelits-natnormalise

    8.5 3.5 Haskell
    Normalise GHC.TypeLits.Nat equations
  • typelevel-rewrite-rules

    8.1 5.5 Haskell
    rewrite rules for type-level equalities
  • ghc-typelits-extra

    7.9 2.4 Haskell
    Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  • ghc-typelits-knownnat

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

    7.8 0.0 Haskell
    Units of measure as a GHC typechecker plugin
  • compound-types

    7.1 0.0 Haskell
    Sum and Product types and such
  • supermonad

    6.4 0.0 Haskell
    A plugin for GHC to support super monads.
  • singletons-presburger

    6.4 5.8 Haskell
    Presburger arithmetic solver for built-in type-level naturals
  • static-text

    6.1 0.0 Haskell
    Lists, Texts, ByteStrings and Vectors with type-encoded length
  • hout

    5.9 0.0 Haskell
    A non-interactive proof assistant using the Haskell type system
  • type-level-numbers

    5.2 0.0 Haskell
    Implementation of type level natural and signed integer numbers in haskell using type families.
  • cluss

    3.6 0.0 Haskell
    simple alternative to type classes
  • type-eq

    2.7 0.0 Haskell
    Type equality evidence you can carry around
  • funspection

    1.0 0.0 Haskell
    Type-level function utilities