10

8

6

4

2


10.0

9.9

10.0

4.8

10.0

6.2

9.8

8.1

9.7

7.9

9.7
0.0

100 Data Structures packages and projects

  • Agda

    10.0 9.9 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.
  • hevm

    10.0 4.8 Haskell
    Dapp, Seth, Hevm, and more
  • Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
    Promo coderabbit.ai
    CodeRabbit Logo
  • miso

    10.0 6.2 Haskell
    :ramen: A tasty Haskell front-end framework
  • containers

    9.8 8.1 Haskell
    Assorted concrete container types
  • singletons

    9.7 7.9 Haskell
    Fake dependent types in Haskell using singletons
  • vinyl

    9.7 0.0 Haskell
    Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
  • fgl

    9.6 4.7 Haskell
    A Functional Graph Library for Haskell
  • repa-array

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.
  • repa-convert

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.
  • repa-eval

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.
  • repa-scalar

    9.5 0.0 Haskell
    High performance, regular, shape polymorphic parallel arrays.
  • cubical

    9.4 0.0 Haskell
    Implementation of Univalence in Cubical Sets
  • parameterized-utils

    9.1 6.0 Haskell
    A set of utilities for using indexed types including containers, equality, and comparison.
  • ethereum-client-haskell

    9.0 0.0 Haskell
    A Haskell version of an Ethereum client
  • adjunctions

    9.0 3.3 Haskell
    Simple adjunctions
  • psqueues

    9.0 4.4 Haskell
    Priority Search Queues in three different flavors for Haskell
  • distributive

    8.9 2.7 Haskell
    Dual Traversable
  • hoq

    8.9 0.0 Haskell
    A language based on homotopy type theory with an interval
  • type-level-sets

    8.8 0.0 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)
  • bookkeeper

    8.7 0.0 Haskell
    Anonymous records and overloaded labels
  • justified-containers

    8.7 0.0 Haskell
    Standard containers, with keys that carry type-level proofs of their own presence.
  • clafer

    8.5 3.9 Haskell
    Clafer is a lightweight modeling language
  • EdisonAPI

    8.5 3.7 Haskell
    Edison: A Library of Efficient Data Structures
  • ixset-typed

    8.2 0.0 Haskell
    More strongly typed variant of the ixset Haskell package
  • bytestring-trie

    8.2 4.8 Haskell
    An efficient finite map from (byte)strings to values.
  • slist

    8.1 2.3 Haskell
    ♾️ Sized list
  • haggle

    8.1 5.1 Haskell
    An efficient graph library for Haskell
  • void

    8.1 0.0 Haskell
    Provides Data.Void, which is in base since ghc 7.8 or so
  • heaps

    8.0 0.0 Haskell
    Asymptotically optimal Brodal/Okasaki heaps
  • knit

    7.9 2.2 Haskell
    Ties the knot on data structures that reference each other by unique keys
  • hamtmap

    7.9 0.0 Haskell
    DISCONTINUED. A purely functional and persistent hash map
  • bitset

    7.7 0.0 Haskell
    A compact functional set data structure
  • multiset

    7.7 0.0 Haskell
    multiset haskell package
  • nonempty-containers

    7.6 4.8 Haskell
    Efficient non-empty variants of containers data types, with full API
  • graphite

    7.5 0.0 Haskell
    Haskell graphs and networks library
  • algebra-checkers

    7.5 0.0 Haskell
    checkers for algebra driven design
  • helf

    7.3 2.9 Haskell
    Haskell implementation of the Edinburgh Logical Framework
  • rawr

    7.2 0.0 Haskell
    Anonymous extensible records and variant types
  • eliminators

    7.2 4.2 Haskell
    Dependently typed elimination functions using singletons
  • map-exts

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

    7.1 4.3 Haskell
    Haskell implementatio of R-Trees
  • TypeCompose

    6.7 0.0 Haskell
    Type composition classes & instances & misc
  • mtl-c

    6.7 0.0 Haskell
    Monad transformers in CPS
  • claferIG

    6.7 3.9 Haskell
    Support for reasoning on Clafer models by instantiation and counter example generation.
  • selections

    6.6 0.0 Haskell
    Haskell Package for operating with selections over an underlying functor
  • map-syntax

    6.6 0.0 Haskell
    Syntax sugar and explicit semantics for statically defined maps
  • ixset

    6.5 0.0 Haskell
    A Set type which supports multiple indexes
  • supermonad

    6.5 0.0 Haskell
    A plugin for GHC to support super monads.
  • igraph

    6.5 0.0 Haskell
    Incomplete Haskell bindings to the igraph library (which is written in C)
  • representable-functors

    6.5 0.0 Haskell
    representable functors
  • data-clist

    6.4 3.9 Haskell
    A purely functional ring data structure for Haskell.
  • hw-fingertree-strict

    6.4 0.0 Haskell
    Generic strict finger-tree structure
  • ethereum-analyzer

    6.4 0.0 Haskell
    An Ethereum contract analyzer.
  • permutation

    6.0 0.0 Haskell
    git import of patrick perry permutations lib from darcs
  • composition-tree

    5.9 0.0 Haskell
    Composition trees for arbitrary monoids.
  • regional-pointers

    5.8 0.0 Haskell
    Regional memory pointers
  • DrIFT

    5.8 0.0 Haskell
    A mirror of DrIFT.
  • heap

    5.8 0.0 Haskell
    A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.
  • DrIFT-cabalized

    5.8 0.0 Haskell
    A mirror of DrIFT.
  • hw-fingertree

    5.7 2.7 Haskell
    Generic finger-tree structure, with example instances
  • composition

    5.4 0.0 Haskell
    Combinators for unorthodox function composition in Haskell
  • repa-devil

    5.4 0.0 Haskell
    Image library based on the DevIL open source image library for the repa array library.
  • ilist

    5.3 0.0 Haskell
    ℹ️ Index-related functions for lists
  • composition-extra

    5.2 5.2 Haskell
    Combinators for unorthodox structure composition in Haskell
  • safer-file-handles

    5.2 0.0 Haskell
    Type-safe file handling
  • loc

    5.2 4.5 Haskell
    Types representing line and column positions and ranges in text files
  • data-stringmap

    5.1 0.0 Haskell
    Haskell Project to convert the PrefixTree of the Holumbus into it's own Hackage Packet
  • agda-snippets

    4.9 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
  • multi-containers

    4.8 3.6 Haskell
    A few variants of multimaps.
  • colorful-monoids

    4.8 0.0 Haskell
    colorful-monoids: Styled console text output using ANSI escape sequences
  • ethereum-merkle-patricia-db

    4.6 0.0 Haskell
    A modified Merkle Patricia DB
  • type-indexed-queues

    4.6 0.0 Haskell
    Queues with verified and unverified versions
  • pomaps

    4.5 0.0 Haskell
    Haskell data structure for maps and sets with partially ordered keys
  • extended-containers

    4.5 3.4 Haskell
    A Haskell library for containers to extend the containers and unordered-containers packages.
  • usb-safe

    4.3 0.0 Haskell
    Type-safe communication with USB devices
  • radix-tree

    4.3 5.8 Haskell
    Haskell implementation of the radix tree data structure
  • open-typerep

    4.3 0.0 Haskell
    Open type representations and dynamic types
  • flux-monoid

    4.3 0.0 Haskell
    A monoid which counts changing values in a sequence
  • ethereum-rlp

    4.3 0.0 Haskell
    Ethereum Recursive Length Prefix Encoding
  • Sit

    4.1 3.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers
  • monadic-arrays

    3.8 0.0 Haskell
    MArray instances for monad transformers
  • bk-tree

    3.8 0.0 Haskell
    Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors
  • graph-wrapper

    3.8 0.0 Haskell
    A wrapper around the standard Data.Graph with a less awkward interface
  • more-containers

    3.8 0.0 Haskell
    A few more container types
  • type-level-bst

    3.6 0.0 Haskell
    Type-Level Binary Search Tree in Haskell
  • bookkeeper-permissions

    3.6 0.0 Haskell
    Permissions for bookkeeper records
  • array-memoize

    3.6 4.1 HTML
    Memoize discrete functions (restricted to a finite domain) using arrays
  • tie-knot

    3.6 0.0 Haskell
    "Ties the knot" on a given set of structures that reference each other by keys - replaces the keys with their respective values.
  • invertible

    3.3 1.8 Haskell
    Haskell bidirectional arrows, bijective functions, and invariant functors
  • functor-friends

    3.3 0.0 Haskell
    Friendly helpers for your recursion schemes.
  • min-max-pqueue

    3.1 2.5 Haskell
    Min-max priority queue, also known as double-ended priority queue.
  • repa-fftw

    3.1 0.0 Haskell
    Performs fft on repa array with FFTW
  • HoleyMonoid

    3.1 0.0 Haskell
    Automatically exported from code.google.com/p/monoid-cont
  • repa-sndfile

    3.1 0.0 Haskell
    Reading and writing audio data with repa
  • safer-file-handles-bytestring

    2.8 0.0 Haskell
    Extends safer-file-handles with ByteString operations
  • safer-file-handles-text

    2.8 0.0 Haskell
    Extends safer-file-handles with Text operations
  • btree-concurrent

    2.8 0.0 Haskell
    A backend agnostic, concurrent BTree written in Haskell
  • I1M

    2.8 0.0 HTML
    Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)
  • naperian

    2.8 0.0 Haskell
    Efficient representable functors
  • indexed-containers

    2.4 0.0 Haskell
    Simple, no-frills indexed lists.

Add another 'Data Structures' Package