10

8

6

4

2


9.9

9.8

9.9

8.9

9.8

5.7

9.6

3.6

9.5
0.0

87 Data Structures packages and projects

  • Agda

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

    9.9 8.9 Haskell
    A tasty Haskell front-end framework
  • containers

    9.8 5.7 Haskell
    Assorted concrete container types
  • vinyl

    9.6 3.6 Haskell
    Extensible Records
  • exposed-containers

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

    9.5 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • repa-array

    9.4 5.8 Haskell
    Bulk array representations and operators.
  • repa-scalar

    9.4 5.8 Haskell
    Scalar data types and conversions.
  • repa-eval

    9.4 5.8 Haskell
    Low-level parallel operators on bulk random-accessble arrays.
  • repa-convert

    9.4 5.8 Haskell
    Packing and unpacking flat tables.
  • singletons

    9.4 8.3 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.9 4.5 Haskell
    Pure priority search queues
  • bookkeeper

    8.8 3.9 Haskell
    Anonymous records and overloaded labels
  • clafer

    8.6 2.3 Haskell
    Compiles Clafer models to other formats
  • distributive

    8.6 5.2 Haskell
    Distributive functors -- Dual to Traversable
  • hamtmap

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

    8.1 1.4 Haskell
    A Haskell 98 logically uninhabited data type
  • type-level-sets

    7.9 2.8 Haskell
    Type-level sets and finite maps (with value-level counterparts)
  • bitset

    7.9 0.0 Haskell
    A space-efficient set data structure.
  • EdisonAPI

    7.7 0.0 Haskell
    A library of efficient, purely-functional data structures (API)
  • justified-containers

    7.5 7.3 Haskell
    Keyed container types with verified keys.
  • rawr

    7.5 1.1 Haskell
    Anonymous extensible records
  • heaps

    7.4 4.8 Haskell
    Asymptotically optimal Brodal/Okasaki heaps.
  • claferIG

    7.2 1.1 Haskell
    claferIG is an interactive tool that generates instances of Clafer models.
  • ixset-typed

    7.0 4.3 Haskell
    Efficient relational queries on Haskell sets.
  • data-r-tree

    6.8 0.0 Haskell
    R-Tree is a spatial data structure similar to Quadtrees or B-Trees.
  • igraph

    6.8 0.0 Haskell
    Bindings to the igraph C library.
  • map-exts

    6.7 0.0 Haskell
    Extensions to Data.Map
  • mtl-c

    6.7 0.1 Haskell
    Very strict CPS'd transformers
  • multiset

    6.6 1.8 Haskell
    The Data.MultiSet container type
  • map-syntax

    6.4 1.7 Haskell
    Syntax sugar for defining maps
  • data-clist

    6.2 1.9 Haskell
    Simple functional ring type.
  • repa-devil

    6.1 0.0 Haskell
    Support for image reading and writing of Repa arrays using in-place FFI calls
  • eliminators

    5.9 7.8 Haskell
    Dependently typed elimination functions using singletons
  • composition-tree

    5.9 0.1 Haskell
    Composition trees for arbitrary monoids.
  • selections

    5.9 5.7 Haskell
    Combinators for operating with selections over an underlying functor
  • helf

    5.8 2.8 Haskell
    Typechecking terms of the Edinburgh Logical Framework (LF).
  • DrIFT-cabalized

    5.7 2.0 Haskell
    Program to derive type class instances
  • DrIFT

    5.7 2.0 Haskell
    Program to derive type class instances
  • composition-extra

    5.7 0.0 Haskell
    Combinators for unorthodox structure composition
  • ixset

    5.5 0.0 Haskell
    Efficient relational queries on Haskell sets.
  • ethereum-rlp

    5.3 0.0 Haskell
    Ethereum Recursive Length Prefix Encoding
  • ethereum-merkle-patricia-db

    5.3 0.0 Haskell
    A modified Merkle Patricia DB
  • btree-concurrent

    5.3 0.0 Haskell
    A backend agnostic, concurrent BTree
  • regional-pointers

    5.3 0.0 Haskell
    Regional memory pointers
  • supermonad

    5.3 7.6 Haskell
    Plugin and base library to support supermonads in Haskell
  • data-stringmap

    5.3 0.0 Haskell
    An efficient implementation of maps from strings to arbitrary values
  • safer-file-handles

    4.7 0.0 Haskell
    Type-safe file handling
  • bytestring-trie

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

    4.7 0.0 Haskell
    Open type representations and dynamic types
  • colorful-monoids

    4.7 4.0 Haskell
    Styled console text output using ANSI escape sequences.
  • TypeCompose

    4.4 0.0 Haskell
    Type composition classes & instances
  • composition

    4.4 0.0 Haskell
    Combinators for unorthodox function composition
  • type-indexed-queues

    4.1 7.6 Haskell
    Queues with verified and unverified versions.
  • permutation

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

    4.1 0.0 Haskell
    Heaps in Haskell
  • agda-snippets

    4.1 2.4 Haskell
    Render just the Agda snippets of a literate Agda file to HTML
  • ilist

    3.7 3.1 Haskell
    Optimised list functions for doing index-related things
  • monadic-arrays

    3.7 0.0 Haskell
    Boxed and unboxed arrays for monad transformers
  • bk-tree

    3.7 0.0 Haskell
    BK-tree implementation
  • HoleyMonoid

    3.3 1.0 Haskell
    Monoids with holes.
  • type-level-bst

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

    3.3 2.2 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers
  • ethereum-analyzer

    3.3 9.1 Haskell
    A Ethereum contract analyzer.
  • bookkeeper-permissions

    2.8 0.0 Haskell
    Permissions for bookkeeper records
  • array-memoize

    2.8 0.0 Haskell
    Memoization combinators using arrays for finite sub-domains of functions
  • usb-safe

    2.8 0.0 Haskell
    Type-safe communication with USB devices.
  • graphite

    2.4 9.3 Haskell
    Graphs and networks library
  • repa-fftw

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

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

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

    1.9 0.0 Haskell
    Subword graph implementation
  • invertible

    1.9 5.1 Haskell
    bidirectional arrows, bijective functions, and invariant functors
  • safer-file-handles-text

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

    1.9 0.0 Haskell
    Extends safer-file-handles with ByteString operations
  • stack-type

    1.4 1.4 Haskell
    The basic stack type
  • naperian

    1.1 2.3 Haskell
    Efficient representable functors
  • suffix-array

    1.1 4.8 Haskell
    Simple and moderately efficient suffix array implementation
  • pomaps

    0.8 7.6 Haskell
    Maps and sets of partial orders
  • nibblestring

    0.8 0.0 Haskell
    Packed, strict nibble arrays with a list interface (ByteString for nibbles)
  • functor-friends

    0.8 2.0 Haskell
    Friendly helpers for your recursion schemes.
  • hCM

    0.8 5.1 Haskell
    Conceptual modelling support for Haskell
  • loc

    0.8 8.0 Haskell
    Types representing line and column positions and ranges in text files.
  • data-forest

    0.8 8.2 Haskell
    A simple multi-way tree data structure.
  • perfect-hash-generator

    0.3 4.7 Haskell
    Perfect minimal hashing implementation in native Haskell

Add another 'Data Structures' Package