HoleyMonoid alternatives and similar packages

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

hevm

10.0 5.7 HoleyMonoid VS hevm

Dapp, Seth, Hevm, and more
miso

10.0 0.0 HoleyMonoid VS miso

:ramen: A tasty Haskell front-end framework

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

Promo www.influxdata.com

Agda

10.0 9.6 HoleyMonoid VS Agda

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

9.8 7.8 HoleyMonoid VS containers

Assorted concrete container types
vinyl

9.7 0.0 HoleyMonoid VS vinyl

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

9.7 0.0 HoleyMonoid VS singletons

Fake dependent types in Haskell using singletons
fgl

9.6 0.0 HoleyMonoid VS fgl

A Functional Graph Library for Haskell
cubical

9.4 0.0 HoleyMonoid VS cubical

Implementation of Univalence in Cubical Sets
repa-scalar

9.4 0.0 HoleyMonoid VS repa-scalar

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

9.4 0.0 HoleyMonoid VS repa-eval

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

9.4 0.0 HoleyMonoid VS repa-array

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

9.4 0.0 HoleyMonoid VS repa-convert

High performance, regular, shape polymorphic parallel arrays.
parameterized-utils

9.1 0.0 HoleyMonoid VS parameterized-utils

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

9.0 0.0 HoleyMonoid VS adjunctions

Simple adjunctions
ethereum-client-haskell

9.0 0.0 HoleyMonoid VS ethereum-client-haskell

A Haskell version of an Ethereum client
psqueues

9.0 0.0 HoleyMonoid VS psqueues

Priority Search Queues in three different flavors for Haskell
distributive

8.9 0.0 HoleyMonoid VS distributive

Dual Traversable
hoq

8.9 0.0 HoleyMonoid VS hoq

A language based on homotopy type theory with an interval
bookkeeper

8.8 0.0 HoleyMonoid VS bookkeeper

Anonymous records and overloaded labels
type-level-sets

8.8 0.0 HoleyMonoid VS type-level-sets

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

8.7 0.0 HoleyMonoid VS justified-containers

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

8.6 0.0 HoleyMonoid VS clafer

Clafer is a lightweight modeling language
EdisonAPI

8.5 0.0 HoleyMonoid VS EdisonAPI

Edison: A Library of Efficient Data Structures
ixset-typed

8.2 3.6 HoleyMonoid VS ixset-typed

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

8.2 0.0 HoleyMonoid VS bytestring-trie

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

8.2 0.0 HoleyMonoid VS slist

♾️ Sized list
void

8.1 0.0 HoleyMonoid VS void

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

8.0 0.0 HoleyMonoid VS heaps

Asymptotically optimal Brodal/Okasaki heaps
knit

7.9 0.0 HoleyMonoid VS knit

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

7.9 0.0 HoleyMonoid VS hamtmap

A purely functional and persistent hash map
haggle

7.9 0.0 HoleyMonoid VS haggle

An efficient graph library for Haskell
bitset

7.8 0.0 HoleyMonoid VS bitset

A compact functional set data structure
multiset

7.7 0.0 HoleyMonoid VS multiset

multiset haskell package
graphite

7.6 0.0 HoleyMonoid VS graphite

Haskell graphs and networks library
nonempty-containers

7.6 0.0 HoleyMonoid VS nonempty-containers

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

7.5 0.0 HoleyMonoid VS algebra-checkers

checkers for algebra driven design
map-exts

7.4 0.0 HoleyMonoid VS map-exts

Extensions to Data.Map
rawr

7.3 0.0 HoleyMonoid VS rawr

Anonymous extensible records and variant types
data-r-tree

7.2 0.0 HoleyMonoid VS data-r-tree

Haskell implementatio of R-Trees
helf

7.2 0.0 HoleyMonoid VS helf

Haskell implementation of the Edinburgh Logical Framework
TypeCompose

7.0 0.0 HoleyMonoid VS TypeCompose

Type composition classes & instances & misc
eliminators

7.0 0.0 HoleyMonoid VS eliminators

Dependently typed elimination functions using singletons
claferIG

6.9 0.0 HoleyMonoid VS claferIG

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

6.8 0.0 HoleyMonoid VS mtl-c

Monad transformers in CPS
ixset

6.7 0.0 HoleyMonoid VS ixset

A Set type which supports multiple indexes
igraph

6.7 0.0 HoleyMonoid VS igraph

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

6.7 0.0 HoleyMonoid VS supermonad

A plugin for GHC to support super monads.
selections

6.7 0.0 HoleyMonoid VS selections

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

6.7 0.0 HoleyMonoid VS map-syntax

Syntax sugar and explicit semantics for statically defined maps
representable-functors

6.7 0.0 HoleyMonoid VS representable-functors

representable functors