10

8

6

4

2


9.8

9.8

9.7

7.8

9.6

3.5

9.5
0.0

9.3

3.2

76 Data Structures packages and projects

  • Agda

    9.8 9.8 Haskell
    A dependently typed functional programming language and proof assistant
  • containers

    9.7 7.8 Haskell
    Assorted concrete container types
  • vinyl

    9.6 3.5 Haskell
    Extensible Records
  • cubical

    9.5 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • exposed-containers

    9.5 0.0 Haskell
    A distribution of the 'containers' package, with all modules exposed.
  • repa-eval

    9.3 3.2 Haskell
    Low-level parallel operators on bulk random-accessble arrays.
  • repa-scalar

    9.3 3.2 Haskell
    Scalar data types and conversions.
  • repa-array

    9.3 3.2 Haskell
    Bulk array representations and operators.
  • repa-convert

    9.3 3.2 Haskell
    Packing and unpacking flat tables.
  • singletons

    9.3 5.4 Haskell
    A framework for generating singleton types
  • ethereum-client-haskell

    9.1 0.0 Haskell
    A Haskell version of an Ethereum client
  • hoq

    8.9 0.0 Haskell
    A language based on homotopy type theory with an interval type
  • psqueues

    8.7 0.8 Haskell
    Pure priority search queues
  • clafer

    8.6 4.3 Haskell
    Compiles Clafer models to other formats
  • bookkeeper

    8.5 5.1 Haskell
    Anonymous records and overloaded labels
  • distributive

    8.3 6.2 Haskell
    Distributive functors -- Dual to Traversable
  • hamtmap

    8.0 0.0 Haskell
    A purely functional and persistent hash map
  • void

    7.9 2.1 Haskell
    A Haskell 98 logically uninhabited data type
  • bitset

    7.8 0.2 Haskell
    A space-efficient set data structure.
  • EdisonAPI

    7.6 0.0 Haskell
    A library of efficient, purely-functional data structures (API)
  • type-level-sets

    7.4 0.8 Haskell
    Type-level sets and finite maps (with value-level counterparts)
  • claferIG

    7.3 2.4 Haskell
    claferIG is an interactive tool that generates instances of Clafer models.
  • heaps

    7.3 4.8 Haskell
    Asymptotically optimal Brodal/Okasaki heaps.
  • rawr

    6.9 4.0 Haskell
    Anonymous extensible records
  • ixset-typed

    6.9 0.6 Haskell
    Efficient relational queries on Haskell sets.
  • map-exts

    6.7 0.0 Haskell
    Extensions to Data.Map
  • data-r-tree

    6.4 0.0 Haskell
    R-Tree is a spatial data structure similar to Quadtrees or B-Trees.
  • mtl-c

    6.3 1.6 Haskell
    Very strict CPS'd transformers
  • igraph

    6.2 0.0 Haskell
    Bindings to the igraph C library.
  • ethereum-merkle-patricia-db

    6.1 0.0 Haskell
    A modified Merkle Patricia DB
  • map-syntax

    6.1 3.0 Haskell
    Syntax sugar for defining maps
  • multiset

    6.0 0.0 Haskell
    The Data.MultiSet container type
  • data-clist

    6.0 1.5 Haskell
    Simple functional ring type.
  • repa-devil

    5.8 0.0 Haskell
    Support for image reading and writing of Repa arrays using in-place FFI calls
  • composition-tree

    5.7 0.6 Haskell
    Composition trees for arbitrary monoids.
  • data-stringmap

    5.3 0.0 Haskell
    An efficient implementation of maps from strings to arbitrary values
  • DrIFT-cabalized

    5.3 0.0 Haskell
    Program to derive type class instances
  • DrIFT

    5.3 0.0 Haskell
    Program to derive type class instances
  • composition-extra

    5.1 0.0 Haskell
    Combinators for unorthodox structure composition
  • ixset

    5.1 0.3 Haskell
    Efficient relational queries on Haskell sets.
  • supermonad

    5.1 4.9 Haskell
    Plugin and base library to support supermonads in Haskell
  • regional-pointers

    4.9 0.0 Haskell
    Regional memory pointers
  • bytestring-trie

    4.7 0.0 Haskell
    An efficient finite map from (byte)strings to values.
  • open-typerep

    4.7 0.1 Haskell
    Open type representations and dynamic types
  • btree-concurrent

    4.7 0.0 Haskell
    A backend agnostic, concurrent BTree
  • TypeCompose

    4.4 0.0 Haskell
    Type composition classes & instances
  • ethereum-rlp

    4.4 0.0 Haskell
    Ethereum Recursive Length Prefix Encoding
  • safer-file-handles

    4.1 0.0 Haskell
    Type-safe file handling
  • type-indexed-queues

    4.1 8.4 Haskell
    Queues with verified and unverified versions.
  • composition

    3.7 0.0 Haskell
    Combinators for unorthodox function composition
  • bk-tree

    3.7 0.0 Haskell
    BK-tree implementation
  • invertible

    3.3 6.9 Haskell
    bidirectional arrows, bijective functions, and invariant functors
  • permutation

    3.3 0.0 Haskell
    A library for permutations and combinations.
  • heap

    3.3 0.0 Haskell
    Heaps in Haskell
  • type-level-bst

    3.3 0.0 Haskell
    type-level binary search trees in haskell
  • Sit

    2.8 3.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers
  • array-memoize

    2.8 0.0 Haskell
    Memoization combinators using arrays for finite sub-domains of functions
  • colorful-monoids

    2.8 6.4 Haskell
    Styled console text output using ANSI escape sequences.
  • ilist

    2.8 2.4 Haskell
    Optimised list functions for doing index-related things
  • agda-snippets

    2.8 0.0 Haskell
    Render just the Agda snippets of a literate Agda file to HTML
  • bookkeeper-permissions

    2.8 4.4 Haskell
    Permissions for bookkeeper records
  • monadic-arrays

    2.3 0.0 Haskell
    Boxed and unboxed arrays for monad transformers
  • repa-fftw

    2.3 0.0 Haskell
    Perform fft with repa via FFTW
  • repa-sndfile

    2.3 0.0 Haskell
    Reading and writing sound files with repa arrays
  • tie-knot

    2.3 0.0 Haskell
    "Ties the knot" on a given set of structures that reference each other by keys.
  • HoleyMonoid

    2.3 2.1 Haskell
    Monoids with holes.
  • subwordgraph

    1.7 0.1 Haskell
    Subword graph implementation
  • usb-safe

    1.1 0.0 Haskell
    Type-safe communication with USB devices.
  • stack-type

    1.1 3.0 Haskell
    The basic stack type
  • suffix-array

    0.9 7.2 Haskell
    Simple and moderately efficient suffix array implementation
  • safer-file-handles-text

    0.9 0.0 Haskell
    Extends safer-file-handles with Text operations
  • safer-file-handles-bytestring

    0.9 0.0 Haskell
    Extends safer-file-handles with ByteString operations
  • hCM

    0.6 6.3 Haskell
    Conceptual modelling support for Haskell
  • helf

    0.6 4.8 Haskell
    Typechecking terms of the Edinburgh Logical Framework (LF).
  • nibblestring

    0.6 0.0 Haskell
    Packed, strict nibble arrays with a list interface (ByteString for nibbles)
  • ethereum-analyzer

    0.6 8.8 Haskell
    A Ethereum contract analyzer.

Add another 'Data Structures' Package