Combinators for operating with selections over an underlying functor

selections alternatives and similar packages

Based on the "Data Structures" category

• miso

  10.0 7.8 selections VS miso

  A tasty Haskell front-end framework

• Agda

  9.9 9.8 selections VS Agda

  A dependently typed functional programming language and proof assistant

• containers

  9.8 6.3 selections VS containers

  Assorted concrete container types

• hevm

  9.8 8.6 selections VS hevm

  Ethereum virtual machine evaluator

• vinyl

  9.7 5.4 selections VS vinyl

  Extensible Records

• singletons

  9.6 7.3 selections VS singletons

  A framework for generating singleton types

• exposed-containers

  9.6 0.0 selections VS exposed-containers

  A distribution of the 'containers' package, with all modules exposed.

• repa-convert

  9.5 1.4 selections VS repa-convert

  Packing and unpacking flat tables.

• cubical

  9.5 0.0 selections VS cubical

  Implementation of Univalence in Cubical Sets

• repa-scalar

  9.5 0.0 selections VS repa-scalar

  Scalar data types and conversions.

• repa-eval

  9.5 0.0 selections VS repa-eval

  Low-level parallel operators on bulk random-accessble arrays.

• repa-array

  9.5 1.4 selections VS repa-array

  Bulk array representations and operators.

• parameterized-utils

  9.3 6.6 selections VS parameterized-utils

  Classes and data structures for working with data-kind indexed types

• hoq

  9.1 0.0 selections VS hoq

  A language based on homotopy type theory with an interval type

• psqueues

  9.1 0.0 selections VS psqueues

  Pure priority search queues

• ethereum-client-haskell

  9.0 0.0 selections VS ethereum-client-haskell

  A Haskell version of an Ethereum client

• bookkeeper

  8.9 0.0 selections VS bookkeeper

  Anonymous records and overloaded labels

• distributive

  8.9 4.3 selections VS distributive

  Distributive functors -- Dual to Traversable

• type-level-sets

  8.8 0.0 selections VS type-level-sets

  Type-level sets and finite maps (with value-level counterparts)

• clafer

  8.7 0.0 selections VS clafer

  Compiles Clafer models to other formats

• EdisonAPI

  8.6 0.0 selections VS EdisonAPI

  A library of efficient, purely-functional data structures (API)

• slist

  8.2 4.3 selections VS slist

  Sized list

• void

  8.2 3.0 selections VS void

  A Haskell 98 logically uninhabited data type

• justified-containers

  8.0 0.7 selections VS justified-containers

  Keyed container types with verified keys.

• knit

  8.0 5.1 selections VS knit

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

• ixset-typed

  8.0 3.8 selections VS ixset-typed

  Efficient relational queries on Haskell sets.

• hamtmap

  7.9 0.0 selections VS hamtmap

  A purely functional and persistent hash map

• multiset

  7.9 2.9 selections VS multiset

  The Data.MultiSet container type

• bitset

  7.6 0.0 selections VS bitset

  A space-efficient set data structure.

• heaps

  7.5 4.8 selections VS heaps

  Asymptotically optimal Brodal/Okasaki heaps.

• rawr

  7.5 0.0 selections VS rawr

  Anonymous extensible records

• haggle

  7.5 4.5 selections VS haggle

  A graph library offering mutable, immutable, and inductive graphs

• data-r-tree

  7.4 4.3 selections VS data-r-tree

  R-Tree is a spatial data structure similar to Quadtrees or B-Trees.

• bytestring-trie

  7.2 6.2 selections VS bytestring-trie

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

• claferIG

  7.2 0.0 selections VS claferIG

  claferIG is an interactive tool that generates instances of Clafer models.

• map-exts

  7.1 0.0 selections VS map-exts

  Extensions to Data.Map

• hw-fingertree-strict

  6.9 6.4 selections VS hw-fingertree-strict

  Generic strict finger-tree structure

• graphite

  6.9 4.1 selections VS graphite

  Graphs and networks library

• mtl-c

  6.9 0.0 selections VS mtl-c

  Very strict CPS'd transformers

• map-syntax

  6.9 3.0 selections VS map-syntax

  Syntax sugar for defining maps

• eliminators

  6.8 5.4 selections VS eliminators

  Dependently typed elimination functions using singletons

• nonempty-containers

  6.8 5.1 selections VS nonempty-containers

  Non-empty variants of containers data types, with full API

• helf

  6.8 0.0 selections VS helf

  Typechecking terms of the Edinburgh Logical Framework (LF).

• algebra-checkers

  6.7 8.4 selections VS algebra-checkers

  Model and test API surfaces algebraically

• supermonad

  6.6 0.0 selections VS supermonad

  Plugin and base library to support supermonads in Haskell

• regional-pointers

  6.6 0.0 selections VS regional-pointers

  Regional memory pointers

• igraph

  6.5 0.0 selections VS igraph

  Bindings to the igraph C library.

• TypeCompose

  6.2 0.0 selections VS TypeCompose

  Type composition classes & instances

• safer-file-handles

  6.2 0.0 selections VS safer-file-handles

  Type-safe file handling

• composition-tree

  6.1 0.0 selections VS composition-tree

  Composition trees for arbitrary monoids.

Do you think we are missing an alternative of selections or a related project?

Popular Comparisons

• pomaps
  vs
  data-clist
• justified-containers
  vs
  naperian
• graphite
  vs
  rawr
• ethereum-client-haskell
  vs
  ethereum-analyzer
• permutation
  vs
  multiset

SaaSHub - Software Alternatives and Reviews View more from us