Selected Tags

Click on a tag to remove it

Data packages

Showing projects tagged as Types and Data

  • 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.5 0.0 Python
    Universal (cross-language) extensible representation for algebraic data type instances.
  • type-iso

    3.4 0.0 Haskell
    Expresses isomorphic and injective relations between types.