indexed-containers alternatives and similar packages

Based on the "Data Structures" category.
Alternatively, view indexed-containers alternatives based on common mentions on social networks and blogs.

miso

10.0 6.9 indexed-containers VS miso

:ramen: A tasty Haskell front-end framework
Agda

10.0 9.6 indexed-containers VS Agda

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

Clean code begins in your IDE with SonarLint

Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

Promo www.sonarlint.org

hevm

10.0 9.0 indexed-containers VS hevm

Dapp, Seth, Hevm, and more
containers

9.8 5.9 indexed-containers VS containers

Assorted concrete container types
vinyl

9.7 5.3 indexed-containers VS vinyl

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

9.7 5.3 indexed-containers VS singletons

Fake dependent types in Haskell using singletons
fgl

9.6 0.0 indexed-containers VS fgl

A Functional Graph Library for Haskell
repa-array

9.5 3.2 indexed-containers VS repa-array

High performance, regular, shape polymorphic parallel arrays.
repa-scalar

9.5 3.2 indexed-containers VS repa-scalar

High performance, regular, shape polymorphic parallel arrays.
repa-eval

9.5 3.2 indexed-containers VS repa-eval

High performance, regular, shape polymorphic parallel arrays.
repa-convert

9.5 3.2 indexed-containers VS repa-convert

High performance, regular, shape polymorphic parallel arrays.
cubical

9.4 0.0 indexed-containers VS cubical

Implementation of Univalence in Cubical Sets
parameterized-utils

9.2 8.0 indexed-containers VS parameterized-utils

A set of utilities for using indexed types including containers, equality, and comparison.
psqueues

9.1 2.4 indexed-containers VS psqueues

Priority Search Queues in three different flavors for Haskell
adjunctions

9.0 2.7 indexed-containers VS adjunctions

Simple adjunctions
ethereum-client-haskell

9.0 0.0 indexed-containers VS ethereum-client-haskell

A Haskell version of an Ethereum client
hoq

9.0 0.0 indexed-containers VS hoq

A language based on homotopy type theory with an interval
distributive

8.9 0.8 indexed-containers VS distributive

Dual Traversable
bookkeeper

8.8 0.0 indexed-containers VS bookkeeper

Anonymous records and overloaded labels
type-level-sets

8.8 5.5 indexed-containers VS type-level-sets

Type-level sets for Haskell (with value-level counterparts and various operations)
justified-containers

8.7 0.0 indexed-containers VS justified-containers

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

8.6 0.0 indexed-containers VS clafer

Clafer is a lightweight modeling language
EdisonAPI

8.5 0.0 indexed-containers VS EdisonAPI

Edison: A Library of Efficient Data Structures
bytestring-trie

8.3 8.8 indexed-containers VS bytestring-trie

An efficient finite map from (byte)strings to values.
slist

8.3 0.0 indexed-containers VS slist

♾️ Sized list
ixset-typed

8.2 4.4 indexed-containers VS ixset-typed

More strongly typed variant of the ixset Haskell package
void

8.1 0.0 indexed-containers VS void

Provides Data.Void, which is in base since ghc 7.8 or so
haggle

8.0 1.8 indexed-containers VS haggle

An efficient graph library for Haskell
heaps

7.9 0.0 indexed-containers VS heaps

Asymptotically optimal Brodal/Okasaki heaps
bitset

7.9 0.0 indexed-containers VS bitset

A compact functional set data structure
hamtmap

7.9 0.0 indexed-containers VS hamtmap

A purely functional and persistent hash map
knit

7.9 0.0 indexed-containers VS knit

Ties the knot on data structures that reference each other by unique keys
multiset

7.8 0.0 indexed-containers VS multiset

multiset haskell package
nonempty-containers

7.6 1.8 indexed-containers VS nonempty-containers

Efficient non-empty variants of containers data types, with full API
graphite

7.6 0.0 indexed-containers VS graphite

Haskell graphs and networks library
algebra-checkers

7.4 0.0 indexed-containers VS algebra-checkers

checkers for algebra driven design
data-r-tree

7.4 0.0 indexed-containers VS data-r-tree

Haskell implementatio of R-Trees
map-exts

7.4 0.0 indexed-containers VS map-exts

Extensions to Data.Map
eliminators

7.3 2.5 indexed-containers VS eliminators

Dependently typed elimination functions using singletons
helf

7.3 3.4 indexed-containers VS helf

Haskell implementation of the Edinburgh Logical Framework
rawr

7.2 0.0 indexed-containers VS rawr

Anonymous extensible records and variant types
claferIG

7.1 0.0 indexed-containers VS claferIG

Support for reasoning on Clafer models by instantiation and counter example generation.
ixset

6.8 0.0 indexed-containers VS ixset

A Set type which supports multiple indexes
representable-functors

6.7 0.0 indexed-containers VS representable-functors

representable functors
map-syntax

6.7 0.0 indexed-containers VS map-syntax

Syntax sugar and explicit semantics for statically defined maps
mtl-c

6.6 0.0 indexed-containers VS mtl-c

Monad transformers in CPS
hw-fingertree-strict

6.6 0.0 indexed-containers VS hw-fingertree-strict

Generic strict finger-tree structure
igraph

6.4 0.0 indexed-containers VS igraph

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

6.4 0.0 indexed-containers VS selections

Haskell Package for operating with selections over an underlying functor
ethereum-analyzer

6.4 0.0 indexed-containers VS ethereum-analyzer

An Ethereum contract analyzer.