loc alternatives and similar packages

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

Agda

10.0 9.7 loc VS Agda

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

10.0 7.2 loc VS miso

:ramen: A tasty Haskell front-end framework

Run Linux Software Faster and Safer than Linux with Unikernels

Promo github.com/nanovms

hevm

9.9 9.7 loc VS hevm

Dapp, Seth, Hevm, and more
containers

9.8 5.4 loc VS containers

Assorted concrete container types
vinyl

9.7 5.5 loc VS vinyl

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

9.7 6.2 loc VS singletons

Fake dependent types in Haskell using singletons
fgl

9.6 0.0 loc VS fgl

A Functional Graph Library for Haskell
repa-array

9.5 0.0 loc VS repa-array

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

9.5 0.0 loc VS repa-scalar

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

9.5 0.0 loc VS repa-convert

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

9.5 0.0 loc VS repa-eval

High performance, regular, shape polymorphic parallel arrays.
cubical

9.4 0.0 loc VS cubical

Implementation of Univalence in Cubical Sets
parameterized-utils

9.2 7.3 loc VS parameterized-utils

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

9.1 3.2 loc VS psqueues

Priority Search Queues in three different flavors for Haskell
hoq

9.0 0.0 loc VS hoq

A language based on homotopy type theory with an interval
distributive

9.0 8.8 loc VS distributive

Dual Traversable
ethereum-client-haskell

9.0 0.0 loc VS ethereum-client-haskell

A Haskell version of an Ethereum client
adjunctions

9.0 1.9 loc VS adjunctions

Simple adjunctions
bookkeeper

8.8 0.0 loc VS bookkeeper

Anonymous records and overloaded labels
type-level-sets

8.7 4.4 loc VS type-level-sets

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

8.7 0.0 loc VS clafer

Clafer is a lightweight modeling language
justified-containers

8.5 0.0 loc VS justified-containers

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

8.5 0.0 loc VS EdisonAPI

Edison: A Library of Efficient Data Structures
slist

8.4 0.0 loc VS slist

♾️ Sized list
ixset-typed

8.2 0.0 loc VS ixset-typed

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

8.1 0.0 loc VS bytestring-trie

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

8.1 0.0 loc VS void

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

8.0 0.0 loc VS heaps

Asymptotically optimal Brodal/Okasaki heaps
knit

7.9 0.0 loc VS knit

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

7.9 0.0 loc VS bitset

A compact functional set data structure
hamtmap

7.9 0.0 loc VS hamtmap

A purely functional and persistent hash map
multiset

7.8 0.0 loc VS multiset

multiset haskell package
graphite

7.7 0.0 loc VS graphite

Haskell graphs and networks library
haggle

7.7 1.9 loc VS haggle

An efficient graph library for Haskell
data-r-tree

7.5 0.0 loc VS data-r-tree

Haskell implementatio of R-Trees
map-exts

7.5 0.0 loc VS map-exts

Extensions to Data.Map
algebra-checkers

7.4 0.0 loc VS algebra-checkers

checkers for algebra driven design
eliminators

7.3 0.0 loc VS eliminators

Dependently typed elimination functions using singletons
helf

7.3 5.1 loc VS helf

Haskell implementation of the Edinburgh Logical Framework
claferIG

7.2 0.0 loc VS claferIG

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

7.2 0.0 loc VS rawr

Anonymous extensible records and variant types
nonempty-containers

7.2 4.0 loc VS nonempty-containers

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

6.8 0.0 loc VS ixset

A Set type which supports multiple indexes
mtl-c

6.7 0.0 loc VS mtl-c

Monad transformers in CPS
representable-functors

6.7 0.0 loc VS representable-functors

representable functors
hw-fingertree-strict

6.7 0.0 loc VS hw-fingertree-strict

Generic strict finger-tree structure
map-syntax

6.7 0.0 loc VS map-syntax

Syntax sugar and explicit semantics for statically defined maps
igraph

6.5 0.0 loc VS igraph

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

6.5 0.0 loc VS selections

Haskell Package for operating with selections over an underlying functor
supermonad

6.4 0.0 loc VS supermonad

A plugin for GHC to support super monads.