loc alternatives and similar packages

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

hevm

10.0 8.7 loc VS hevm

Dapp, Seth, Hevm, and more
Agda

10.0 9.6 loc VS Agda

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

Less time debugging, more time building

Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

Promo scoutapm.com

miso

10.0 6.5 loc VS miso

:ramen: A tasty Haskell front-end framework
containers

9.8 5.7 loc VS containers

Assorted concrete container types
vinyl

9.7 5.2 loc VS vinyl

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

9.7 4.9 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-convert

9.5 3.0 loc VS repa-convert

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

9.5 3.0 loc VS repa-array

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

9.5 3.0 loc VS repa-eval

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

9.5 3.0 loc VS repa-scalar

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.9 loc VS parameterized-utils

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

9.1 1.9 loc VS psqueues

Priority Search Queues in three different flavors for Haskell
adjunctions

9.0 2.6 loc VS adjunctions

Simple adjunctions
ethereum-client-haskell

9.0 0.0 loc VS ethereum-client-haskell

A Haskell version of an Ethereum client
hoq

9.0 0.0 loc VS hoq

A language based on homotopy type theory with an interval
distributive

8.9 0.4 loc VS distributive

Dual Traversable
bookkeeper

8.8 0.0 loc VS bookkeeper

Anonymous records and overloaded labels
type-level-sets

8.8 5.1 loc VS type-level-sets

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

8.7 0.0 loc VS justified-containers

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

8.6 0.0 loc VS clafer

Clafer is a lightweight modeling language
EdisonAPI

8.5 0.0 loc VS EdisonAPI

Edison: A Library of Efficient Data Structures
bytestring-trie

8.3 4.1 loc VS bytestring-trie

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

8.3 0.0 loc VS slist

♾️ Sized list
ixset-typed

8.2 4.4 loc VS ixset-typed

More strongly typed variant of the ixset Haskell package
void

8.1 0.0 loc VS void

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

7.9 1.6 loc VS haggle

An efficient graph library for Haskell
heaps

7.9 0.0 loc VS heaps

Asymptotically optimal Brodal/Okasaki heaps
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
knit

7.8 0.0 loc VS knit

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

7.8 0.0 loc VS multiset

multiset haskell package
nonempty-containers

7.6 1.2 loc VS nonempty-containers

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

7.6 0.0 loc VS graphite

Haskell graphs and networks library
data-r-tree

7.4 0.0 loc VS data-r-tree

Haskell implementatio of R-Trees
algebra-checkers

7.4 0.0 loc VS algebra-checkers

checkers for algebra driven design
map-exts

7.4 0.0 loc VS map-exts

Extensions to Data.Map
helf

7.3 2.6 loc VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.3 4.1 loc VS eliminators

Dependently typed elimination functions using singletons
claferIG

7.1 0.0 loc VS claferIG

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

7.1 0.0 loc VS rawr

Anonymous extensible records and variant types
supermonad

6.8 0.0 loc VS supermonad

A plugin for GHC to support super monads.
mtl-c

6.8 0.0 loc VS mtl-c

Monad transformers in CPS
ixset

6.7 3.9 loc VS ixset

A Set type which supports multiple indexes
map-syntax

6.7 0.0 loc VS map-syntax

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

6.6 0.0 loc VS representable-functors

representable functors
hw-fingertree-strict

6.5 0.0 loc VS hw-fingertree-strict

Generic strict finger-tree structure
igraph

6.4 0.0 loc VS igraph

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

6.4 0.0 loc VS selections

Haskell Package for operating with selections over an underlying functor