HoleyMonoid alternatives and similar packages

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

Agda

10.0 9.8 HoleyMonoid VS Agda

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

10.0 6.0 HoleyMonoid 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 HoleyMonoid VS hevm

Dapp, Seth, Hevm, and more
containers

9.8 6.2 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 6.3 HoleyMonoid VS singletons

Fake dependent types in Haskell using singletons
fgl

9.6 6.6 HoleyMonoid VS fgl

A Functional Graph Library for Haskell
repa-eval

9.5 0.0 HoleyMonoid VS repa-eval

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

9.5 0.0 HoleyMonoid VS repa-array

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

9.5 0.0 HoleyMonoid VS repa-scalar

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

9.5 0.0 HoleyMonoid VS repa-convert

High performance, regular, shape polymorphic parallel arrays.
cubical

9.4 0.0 HoleyMonoid VS cubical

Implementation of Univalence in Cubical Sets
parameterized-utils

9.1 6.1 HoleyMonoid VS parameterized-utils

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

9.0 0.0 HoleyMonoid VS hoq

A language based on homotopy type theory with an interval
psqueues

9.0 5.2 HoleyMonoid VS psqueues

Priority Search Queues in three different flavors for Haskell
ethereum-client-haskell

9.0 0.0 HoleyMonoid VS ethereum-client-haskell

A Haskell version of an Ethereum client
adjunctions

9.0 3.3 HoleyMonoid VS adjunctions

Simple adjunctions
distributive

8.9 2.7 HoleyMonoid VS distributive

Dual Traversable
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.
bookkeeper

8.7 0.0 HoleyMonoid VS bookkeeper

Anonymous records and overloaded labels
clafer

8.5 3.9 HoleyMonoid VS clafer

Clafer is a lightweight modeling language
EdisonAPI

8.4 3.7 HoleyMonoid VS EdisonAPI

Edison: A Library of Efficient Data Structures
slist

8.2 0.0 HoleyMonoid VS slist

♾️ Sized list
ixset-typed

8.2 3.2 HoleyMonoid VS ixset-typed

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

8.2 4.6 HoleyMonoid VS bytestring-trie

An efficient finite map from (byte)strings to values.
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 5.0 HoleyMonoid VS haggle

An efficient graph library for Haskell
bitset

7.7 0.0 HoleyMonoid VS bitset

A compact functional set data structure
multiset

7.7 0.0 HoleyMonoid VS multiset

multiset haskell package
nonempty-containers

7.6 3.1 HoleyMonoid VS nonempty-containers

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

7.5 0.0 HoleyMonoid VS graphite

Haskell graphs and networks library
algebra-checkers

7.5 0.0 HoleyMonoid VS algebra-checkers

checkers for algebra driven design
helf

7.3 3.3 HoleyMonoid VS helf

Haskell implementation of the Edinburgh Logical Framework
map-exts

7.3 0.0 HoleyMonoid VS map-exts

Extensions to Data.Map
rawr

7.2 0.0 HoleyMonoid VS rawr

Anonymous extensible records and variant types
data-r-tree

7.1 4.7 HoleyMonoid VS data-r-tree

Haskell implementatio of R-Trees
eliminators

7.1 4.5 HoleyMonoid VS eliminators

Dependently typed elimination functions using singletons
claferIG

6.8 3.9 HoleyMonoid VS claferIG

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

6.8 0.0 HoleyMonoid VS TypeCompose

Type composition classes & instances & misc
mtl-c

6.7 0.0 HoleyMonoid VS mtl-c

Monad transformers in CPS
selections

6.7 0.0 HoleyMonoid VS selections

Haskell Package for operating with selections over an underlying functor
ixset

6.6 0.0 HoleyMonoid VS ixset

A Set type which supports multiple indexes
igraph

6.6 0.0 HoleyMonoid VS igraph

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

6.6 0.0 HoleyMonoid VS supermonad

A plugin for GHC to support super monads.
map-syntax

6.6 0.0 HoleyMonoid VS map-syntax

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

6.6 0.0 HoleyMonoid VS representable-functors

representable functors