extended-containers alternatives and similar packages

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

Agda

10.0 9.8 extended-containers VS Agda

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

10.0 6.0 extended-containers VS miso

:ramen: A tasty Haskell front-end framework

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com

hevm

10.0 4.8 extended-containers VS hevm

Dapp, Seth, Hevm, and more
containers

9.8 6.0 extended-containers VS containers

Assorted concrete container types
vinyl

9.7 0.0 extended-containers VS vinyl

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

9.7 6.3 extended-containers VS singletons

Fake dependent types in Haskell using singletons
fgl

9.6 6.6 extended-containers VS fgl

A Functional Graph Library for Haskell
repa-convert

9.5 0.0 extended-containers VS repa-convert

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

9.5 0.0 extended-containers VS repa-eval

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

9.5 0.0 extended-containers VS repa-array

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

9.5 0.0 extended-containers VS repa-scalar

High performance, regular, shape polymorphic parallel arrays.
cubical

9.4 0.0 extended-containers VS cubical

Implementation of Univalence in Cubical Sets
parameterized-utils

9.1 6.1 extended-containers VS parameterized-utils

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

9.0 0.0 extended-containers VS ethereum-client-haskell

A Haskell version of an Ethereum client
psqueues

9.0 5.2 extended-containers VS psqueues

Priority Search Queues in three different flavors for Haskell
adjunctions

9.0 3.3 extended-containers VS adjunctions

Simple adjunctions
hoq

9.0 0.0 extended-containers VS hoq

A language based on homotopy type theory with an interval
distributive

8.9 2.7 extended-containers VS distributive

Dual Traversable
type-level-sets

8.8 0.0 extended-containers VS type-level-sets

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

8.7 0.0 extended-containers VS bookkeeper

Anonymous records and overloaded labels
justified-containers

8.7 0.0 extended-containers VS justified-containers

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

8.5 3.9 extended-containers VS clafer

Clafer is a lightweight modeling language
EdisonAPI

8.4 3.7 extended-containers VS EdisonAPI

Edison: A Library of Efficient Data Structures
slist

8.2 0.0 extended-containers VS slist

♾️ Sized list
bytestring-trie

8.2 5.9 extended-containers VS bytestring-trie

An efficient finite map from (byte)strings to values.
ixset-typed

8.2 3.2 extended-containers VS ixset-typed

More strongly typed variant of the ixset Haskell package
void

8.1 0.0 extended-containers VS void

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

8.0 0.0 extended-containers VS heaps

Asymptotically optimal Brodal/Okasaki heaps
knit

7.9 0.0 extended-containers VS knit

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

7.9 0.0 extended-containers VS hamtmap

DISCONTINUED. A purely functional and persistent hash map
haggle

7.9 5.0 extended-containers VS haggle

An efficient graph library for Haskell
bitset

7.7 0.0 extended-containers VS bitset

A compact functional set data structure
nonempty-containers

7.7 3.1 extended-containers VS nonempty-containers

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

7.7 0.0 extended-containers VS multiset

multiset haskell package
graphite

7.5 0.0 extended-containers VS graphite

Haskell graphs and networks library
algebra-checkers

7.5 0.0 extended-containers VS algebra-checkers

checkers for algebra driven design
helf

7.3 3.3 extended-containers VS helf

Haskell implementation of the Edinburgh Logical Framework
map-exts

7.3 0.0 extended-containers VS map-exts

Extensions to Data.Map
rawr

7.2 0.0 extended-containers VS rawr

Anonymous extensible records and variant types
data-r-tree

7.1 4.7 extended-containers VS data-r-tree

Haskell implementatio of R-Trees
eliminators

7.1 4.5 extended-containers VS eliminators

Dependently typed elimination functions using singletons
TypeCompose

6.8 0.0 extended-containers VS TypeCompose

Type composition classes & instances & misc
claferIG

6.8 3.9 extended-containers VS claferIG

Support for reasoning on Clafer models by instantiation and counter example generation.
mtl-c

6.7 0.0 extended-containers VS mtl-c

Monad transformers in CPS
selections

6.7 0.0 extended-containers VS selections

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

6.7 0.0 extended-containers VS map-syntax

Syntax sugar and explicit semantics for statically defined maps
ixset

6.6 0.0 extended-containers VS ixset

A Set type which supports multiple indexes
igraph

6.6 0.0 extended-containers VS igraph

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

6.6 0.0 extended-containers VS supermonad

A plugin for GHC to support super monads.
representable-functors

6.6 0.0 extended-containers VS representable-functors

representable functors