Selected Tags

Click on a tag to remove it

Data Structures packages

Showing projects tagged as Type and Data Structures

  • type-level-sets

    8.8 2.2 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)
  • type-aligned

    7.4 0.0 Haskell
    Various type-aligned sequence data structures.
  • type-indexed-queues

    4.5 0.0 Haskell
    Queues with verified and unverified versions
  • type-level-bst

    3.5 0.0 Haskell
    Type-Level Binary Search Tree in Haskell