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.8 loc VS Agda

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

10.0 7.7 loc VS hevm

Dapp, Seth, Hevm, and more

TestGPT | Generating meaningful tests for busy devs

Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.

Promo codium.ai

miso

10.0 3.1 loc VS miso

:ramen: A tasty Haskell front-end framework
containers

9.8 0.0 loc VS containers

Assorted concrete container types
singletons

9.7 5.5 loc VS singletons

Fake dependent types in Haskell using singletons
vinyl

9.7 0.0 loc VS vinyl

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

9.6 0.0 loc VS fgl

A Functional Graph Library for Haskell
repa-convert

9.5 0.0 loc VS repa-convert

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

9.5 0.0 loc VS repa-array

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

9.5 0.0 loc VS repa-eval

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

9.5 0.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.1 3.1 loc VS parameterized-utils

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

9.1 0.0 loc VS psqueues

Priority Search Queues in three different flavors for Haskell
adjunctions

9.0 0.0 loc VS adjunctions

Simple adjunctions
ethereum-client-haskell

9.0 0.0 loc VS ethereum-client-haskell

A Haskell version of an Ethereum client
distributive

8.9 0.0 loc VS distributive

Dual Traversable
hoq

8.9 0.0 loc VS hoq

A language based on homotopy type theory with an interval
type-level-sets

8.8 0.0 loc VS type-level-sets

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

8.8 0.0 loc VS bookkeeper

Anonymous records and overloaded labels
justified-containers

8.6 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.2 0.0 loc VS bytestring-trie

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

8.2 0.0 loc VS slist

♾️ Sized list
ixset-typed

8.2 2.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
heaps

8.0 0.0 loc VS heaps

Asymptotically optimal Brodal/Okasaki heaps
hamtmap

7.9 0.0 loc VS hamtmap

A purely functional and persistent hash map
haggle

7.9 0.0 loc VS haggle

An efficient graph library for Haskell
knit

7.9 0.0 loc VS knit

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

7.8 0.0 loc VS bitset

A compact functional set data structure
multiset

7.7 0.0 loc VS multiset

multiset haskell package
nonempty-containers

7.5 0.0 loc VS nonempty-containers

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

7.5 0.0 loc VS graphite

Haskell graphs and networks library
algebra-checkers

7.5 0.0 loc VS algebra-checkers

checkers for algebra driven design
helf

7.3 0.0 loc VS helf

Haskell implementation of the Edinburgh Logical Framework
data-r-tree

7.3 0.0 loc VS data-r-tree

Haskell implementatio of R-Trees
map-exts

7.3 0.0 loc VS map-exts

Extensions to Data.Map
eliminators

7.2 3.1 loc VS eliminators

Dependently typed elimination functions using singletons
rawr

7.1 0.0 loc VS rawr

Anonymous extensible records and variant types
claferIG

7.0 0.0 loc VS claferIG

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

6.7 0.0 loc VS ixset

A Set type which supports multiple indexes
supermonad

6.7 0.0 loc VS supermonad

A plugin for GHC to support super monads.
TypeCompose

6.7 0.0 loc VS TypeCompose

Type composition classes & instances & misc
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
map-syntax

6.6 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