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 for Haskell (with value-level counterparts and various operations)

  • ghc-typelits-natnormalise

    8.7 8.3 Haskell
    Normalise GHC.TypeLits.Nat equations

  • typelevel-rewrite-rules

    8.3 0.0 Haskell
    rewrite rules for type-level equalities

  • ghc-typelits-knownnat

    8.1 5.6 Haskell
    Derive KnownNat constraints from other KnownNat constraints

  • ghc-typelits-extra

    8.0 4.0 Haskell
    Extra type-level operations on GHC.TypeLits.Nat and a custom solver

  • uom-plugin

    7.7 0.0 Haskell
    Units of measure as a GHC typechecker plugin

  • hout

    7.3 0.0 Haskell
    A non-interactive proof assistant using the Haskell type system

  • compound-types

    7.0 0.0 Haskell
    Sum and Product types and such

  • supermonad

    6.6 0.0 Haskell
    A plugin for GHC to support super monads.

  • singletons-presburger

    6.5 6.8 Haskell
    Presburger arithmetic solver for built-in type-level naturals

  • static-text

    5.4 0.0 Haskell
    Lists, Texts, ByteStrings and Vectors with type-encoded length

  • type-level-numbers

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

  • type-eq

    3.3 0.0 Haskell
    Type equality evidence you can carry around

  • cluss

    3.2 0.0 Haskell
    simple alternative to type classes

  • funspection

    1.0 0.0 Haskell
    Type-level function utilities