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

    8.7 1.8 Haskell
    Normalise GHC.TypeLits.Nat equations
  • typelevel-rewrite-rules

    8.4 0.0 Haskell
    rewrite rules for type-level equalities
  • ghc-typelits-extra

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

    8.0 0.0 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

    6.9 0.0 Haskell
    Sum and Product types and such
  • supermonad

    6.7 0.0 Haskell
    A plugin for GHC to support super monads.
  • hout

    6.4 0.0 Haskell
    A non-interactive proof assistant using the Haskell type system
  • singletons-presburger

    6.3 2.2 Haskell
    Presburger arithmetic solver for built-in type-level naturals
  • static-text

    5.9 0.0 Haskell
    Lists, Texts, ByteStrings and Vectors with type-encoded length
  • type-level-numbers

    4.9 4.3 Haskell
    Implementation of type level natural and signed integer numbers in haskell using type families.
  • type-eq

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

    3.2 0.0 Haskell
    simple alternative to type classes
  • funspection

    0.7 0.0 Haskell
    Type-level function utilities