10

8

6

4

2


10.0

9.7
Agda

10.0

7.1
miso

9.9

9.8
hevm

9.8

5.3
containers

9.7

4.9
singletons

9.7

5.8
vinyl

100 Data Structures packages and projects

  • Agda

    10.0 9.7 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.

  • miso

    10.0 7.1 Haskell
    :ramen: A tasty Haskell front-end framework

    • Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
    Promo

  • hevm

    9.9 9.8 Haskell
    Dapp, Seth, Hevm, and more

  • containers

    9.8 5.3 Haskell
    Assorted concrete container types

  • singletons

    9.7 4.9 Haskell
    Fake dependent types in Haskell using singletons

  • vinyl

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

  • fgl

    9.6 0.0 Haskell
    A Functional Graph Library for Haskell

  • repa-eval

    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-array

    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.2 7.2 Haskell
    A set of utilities for using indexed types including containers, equality, and comparison.

  • hoq

    9.0 0.0 Haskell
    A language based on homotopy type theory with an interval

  • adjunctions

    9.0 2.1 Haskell
    Simple adjunctions

  • distributive

    9.0 9.0 Haskell
    Dual Traversable

  • ethereum-client-haskell

    9.0 0.0 Haskell
    A Haskell version of an Ethereum client

  • psqueues

    9.0 0.0 Haskell
    Priority Search Queues in three different flavors for Haskell

  • bookkeeper

    8.8 0.0 Haskell
    Anonymous records and overloaded labels

  • clafer

    8.7 0.0 Haskell
    Clafer is a lightweight modeling language

  • type-level-sets

    8.6 4.4 Haskell
    Type-level sets for Haskell (with value-level counterparts and various operations)

  • EdisonAPI

    8.5 0.0 Haskell
    Edison: A Library of Efficient Data Structures

  • justified-containers

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

  • slist

    8.4 0.1 Haskell
    ♾️ Sized list

  • ixset-typed

    8.2 0.0 Haskell
    More strongly typed variant of the ixset Haskell package

  • void

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

  • bytestring-trie

    8.0 0.0 Haskell
    An efficient finite map from (byte)strings to values.

  • heaps

    8.0 0.0 Haskell
    Asymptotically optimal Brodal/Okasaki heaps

  • bitset

    8.0 0.0 Haskell
    A compact functional set data structure

  • knit

    7.9 0.0 Haskell
    Ties the knot on data structures that reference each other by unique keys

  • hamtmap

    7.9 0.0 Haskell
    A purely functional and persistent hash map

  • multiset

    7.8 0.0 Haskell
    multiset haskell package

  • graphite

    7.7 0.0 Haskell
    Haskell graphs and networks library

  • algebra-checkers

    7.6 0.0 Haskell
    checkers for algebra driven design

  • map-exts

    7.5 0.0 Haskell
    Extensions to Data.Map

  • haggle

    7.5 0.8 Haskell
    An efficient graph library for Haskell

  • data-r-tree

    7.4 0.0 Haskell
    Haskell implementatio of R-Trees

  • nonempty-containers

    7.3 4.2 Haskell
    Efficient non-empty variants of containers data types, with full API

  • eliminators

    7.3 0.0 Haskell
    Dependently typed elimination functions using singletons

  • helf

    7.3 4.2 Haskell
    Haskell implementation of the Edinburgh Logical Framework

  • rawr

    7.3 0.0 Haskell
    Anonymous extensible records and variant types

  • claferIG

    7.2 0.0 Haskell
    Support for reasoning on Clafer models by instantiation and counter example generation.

  • ixset

    6.8 0.0 Haskell
    A Set type which supports multiple indexes

  • representable-functors

    6.7 0.0 Haskell
    representable functors

  • mtl-c

    6.7 0.0 Haskell
    Monad transformers in CPS

  • map-syntax

    6.7 0.0 Haskell
    Syntax sugar and explicit semantics for statically defined maps

  • hw-fingertree-strict

    6.7 0.0 Haskell
    Generic strict finger-tree structure

  • igraph

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

  • selections

    6.5 0.0 Haskell
    Haskell Package for operating with selections over an underlying functor

  • supermonad

    6.4 0.0 Haskell
    A plugin for GHC to support super monads.

  • ethereum-analyzer

    6.4 0.0 Haskell
    An Ethereum contract analyzer.

  • regional-pointers

    6.3 0.0 Haskell
    Regional memory pointers

  • heap

    6.2 0.0 Haskell
    A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.

  • TypeCompose

    6.2 0.0 Haskell
    Type composition classes & instances & misc

  • ilist

    6.1 0.1 Haskell
    ℹ️ Index-related functions for lists

  • composition-tree

    6.1 0.0 Haskell
    Composition trees for arbitrary monoids.

  • DrIFT-cabalized

    6.1 0.0 Haskell
    A mirror of DrIFT.

  • DrIFT

    6.1 0.0 Haskell
    A mirror of DrIFT.

  • data-clist

    6.0 0.0 Haskell
    A purely functional ring data structure for Haskell.

  • safer-file-handles

    5.9 0.0 Haskell
    Type-safe file handling

  • loc

    5.9 0.1 Haskell
    Types representing line and column positions and ranges in text files.

  • permutation

    5.8 0.0 Haskell
    git import of patrick perry permutations lib from darcs

  • extended-containers

    5.5 3.7 Haskell
    A Haskell library for containers to extend the containers and unordered-containers packages.

  • usb-safe

    5.2 0.0 Haskell
    Type-safe communication with USB devices

  • composition

    5.2 0.0 Haskell
    Combinators for unorthodox function composition in Haskell

  • repa-devil

    5.2 0.0 Haskell
    Image library based on the DevIL open source image library for the repa array library.

  • data-stringmap

    5.0 0.0 Haskell
    Haskell Project to convert the PrefixTree of the Holumbus into it's own Hackage Packet

  • hw-fingertree

    5.0 0.0 Haskell
    Generic finger-tree structure, with example instances

  • colorful-monoids

    5.0 0.0 Haskell
    colorful-monoids: Styled console text output using ANSI escape sequences

  • ethereum-merkle-patricia-db

    4.8 0.0 Haskell
    A modified Merkle Patricia DB

  • type-indexed-queues

    4.8 0.0 Haskell
    Queues with verified and unverified versions

  • open-typerep

    4.6 0.0 Haskell
    Open type representations and dynamic types

  • ethereum-rlp

    4.6 0.0 Haskell
    Ethereum Recursive Length Prefix Encoding

  • composition-extra

    4.6 0.0 Haskell
    Combinators for unorthodox structure composition in Haskell

  • multi-containers

    4.3 4.6 Haskell
    A few variants of multimaps.

  • monadic-arrays

    4.1 0.0 Haskell
    MArray instances for monad transformers

  • repa-sndfile

    4.1 0.0 Haskell
    Reading and writing audio data with repa

  • repa-fftw

    4.1 0.0 Haskell
    Performs fft on repa array with FFTW

  • safer-file-handles-text

    3.9 0.0 Haskell
    Extends safer-file-handles with Text operations

  • agda-snippets

    3.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.

  • safer-file-handles-bytestring

    3.9 0.0 Haskell
    Extends safer-file-handles with ByteString operations

  • tie-knot

    3.9 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.

  • type-level-bst

    3.9 0.0 Haskell
    Type-Level Binary Search Tree in Haskell

  • btree-concurrent

    3.9 0.0 Haskell
    A backend agnostic, concurrent BTree written in Haskell

  • array-memoize

    3.6 0.0 Haskell
    Memoize discrete functions (restricted to a finite domain) using arrays

  • Sit

    3.5 0.0 Haskell
    Prototypical type checker for Type Theory with Sized Natural Numbers

  • naperian

    3.5 0.0 Haskell
    Efficient representable functors

  • flux-monoid

    3.4 0.0 Haskell
    A monoid which counts changing values in a sequence

  • bk-tree

    3.3 0.0 Haskell
    Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors

  • more-containers

    3.3 0.0 Haskell
    A few more container types

  • graph-wrapper

    3.3 0.0 Haskell
    A wrapper around the standard Data.Graph with a less awkward interface

  • pomaps

    3.3 0.0 Haskell
    Haskell data structure for maps and sets with partially ordered keys

  • HoleyMonoid

    3.3 0.0 Haskell
    Automatically exported from code.google.com/p/monoid-cont

  • data-forest

    3.1 0.0 Haskell
    A simple multi-way tree data structure.

  • invertible

    3.0 0.0 Haskell
    Haskell bidirectional arrows, bijective functions, and invariant functors

  • bookkeeper-permissions

    3.0 0.0 Haskell
    Permissions for bookkeeper records

  • rbst

    3.0 0.0 Haskell
    Randomized Binary Search Trees (Martinez, and Roura, 1997)

  • I1M

    3.0 2.9 HTML
    Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)

  • indexed-containers

    2.7 0.0 Haskell
    Simple, no-frills indexed lists.

  • functor-friends

    2.3 0.0 Haskell
    Friendly helpers for your recursion schemes.
Run Linux Software Faster and Safer than Linux with Unikernels
sponsored github.com/nanovms

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
sponsored www.saashub.com

Add another 'Data Structures' Package