Selected Tags

Click on a tag to remove it

Types packages

Showing projects tagged as Data and Types

  • typerep-map

    9.1 2.1 Haskell
    ⚡️Efficient implementation of Map with types as keys
  • compound-types

    7.2 0.0 Haskell
    Sum and Product types and such
  • uxadt

    5.4 0.0 Python
    Universal (cross-language) extensible representation for algebraic data type instances.
  • type-iso

    3.3 0.0 Haskell
    Expresses isomorphic and injective relations between types.