EdisonAPI alternatives and similar packages

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

• Agda

  10.0 9.6 EdisonAPI VS Agda

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

• miso

  10.0 6.9 EdisonAPI VS miso

  :ramen: A tasty Haskell front-end framework

Developer Ecosystem Survey 2022

Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.

Promo surveys.jetbrains.com



• hevm

  10.0 9.0 EdisonAPI VS hevm

  Dapp, Seth, Hevm, and more
  

• containers

  9.8 5.9 EdisonAPI VS containers

  Assorted concrete container types
  

• vinyl

  9.7 5.3 EdisonAPI VS vinyl

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

• singletons

  9.7 5.4 EdisonAPI VS singletons

  Fake dependent types in Haskell using singletons

• fgl

  9.6 0.0 EdisonAPI VS fgl

  A Functional Graph Library for Haskell
  

• repa-scalar

  9.5 3.1 EdisonAPI VS repa-scalar

  High performance, regular, shape polymorphic parallel arrays.
  

• repa-array

  9.5 3.1 EdisonAPI VS repa-array

  High performance, regular, shape polymorphic parallel arrays.
  

• repa-convert

  9.5 3.1 EdisonAPI VS repa-convert

  High performance, regular, shape polymorphic parallel arrays.
  

• repa-eval

  9.5 3.1 EdisonAPI VS repa-eval

  High performance, regular, shape polymorphic parallel arrays.
  

• cubical

  9.4 0.0 EdisonAPI VS cubical

  Implementation of Univalence in Cubical Sets

• parameterized-utils

  9.2 8.0 EdisonAPI VS parameterized-utils

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

• psqueues

  9.1 2.4 EdisonAPI VS psqueues

  Priority Search Queues in three different flavors for Haskell

• ethereum-client-haskell

  9.0 0.0 EdisonAPI VS ethereum-client-haskell

  A Haskell version of an Ethereum client

• adjunctions

  9.0 2.6 EdisonAPI VS adjunctions

  Simple adjunctions

• hoq

  9.0 0.0 EdisonAPI VS hoq

  A language based on homotopy type theory with an interval

• distributive

  8.9 1.2 EdisonAPI VS distributive

  Dual Traversable

• bookkeeper

  8.8 0.0 EdisonAPI VS bookkeeper

  Anonymous records and overloaded labels
  

• type-level-sets

  8.8 5.5 EdisonAPI VS type-level-sets

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

• justified-containers

  8.7 0.0 EdisonAPI VS justified-containers

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

• clafer

  8.6 0.0 EdisonAPI VS clafer

  Clafer is a lightweight modeling language
  

• slist

  8.3 0.0 EdisonAPI VS slist

  ♾️ Sized list
  

• bytestring-trie

  8.3 8.8 EdisonAPI VS bytestring-trie

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

• ixset-typed

  8.2 4.4 EdisonAPI VS ixset-typed

  More strongly typed variant of the ixset Haskell package
  

• void

  8.1 0.0 EdisonAPI VS void

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

• haggle

  8.0 1.8 EdisonAPI VS haggle

  An efficient graph library for Haskell

• heaps

  7.9 0.0 EdisonAPI VS heaps

  Asymptotically optimal Brodal/Okasaki heaps

• bitset

  7.9 0.0 EdisonAPI VS bitset

  A compact functional set data structure
  

• hamtmap

  7.9 0.0 EdisonAPI VS hamtmap

  A purely functional and persistent hash map

• knit

  7.9 0.0 EdisonAPI VS knit

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

• multiset

  7.8 0.0 EdisonAPI VS multiset

  multiset haskell package

• nonempty-containers

  7.6 2.3 EdisonAPI VS nonempty-containers

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

• graphite

  7.6 0.0 EdisonAPI VS graphite

  Haskell graphs and networks library

• data-r-tree

  7.4 0.0 EdisonAPI VS data-r-tree

  Haskell implementatio of R-Trees

• algebra-checkers

  7.4 0.0 EdisonAPI VS algebra-checkers

  checkers for algebra driven design

• map-exts

  7.4 0.0 EdisonAPI VS map-exts

  Extensions to Data.Map
  

• helf

  7.3 3.3 EdisonAPI VS helf

  Haskell implementation of the Edinburgh Logical Framework

• eliminators

  7.3 2.8 EdisonAPI VS eliminators

  Dependently typed elimination functions using singletons

• rawr

  7.2 0.0 EdisonAPI VS rawr

  Anonymous extensible records and variant types

• claferIG

  7.1 0.0 EdisonAPI VS claferIG

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

• ixset

  6.8 0.0 EdisonAPI VS ixset

  A Set type which supports multiple indexes
  

• representable-functors

  6.7 0.0 EdisonAPI VS representable-functors

  representable functors

• map-syntax

  6.7 0.0 EdisonAPI VS map-syntax

  Syntax sugar and explicit semantics for statically defined maps

• mtl-c

  6.6 0.0 EdisonAPI VS mtl-c

  Monad transformers in CPS

• hw-fingertree-strict

  6.6 0.0 EdisonAPI VS hw-fingertree-strict

  Generic strict finger-tree structure
  

• igraph

  6.4 0.0 EdisonAPI VS igraph

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

• selections

  6.4 0.0 EdisonAPI VS selections

  Haskell Package for operating with selections over an underlying functor

• ethereum-analyzer

  6.4 0.0 EdisonAPI VS ethereum-analyzer

  An Ethereum contract analyzer.

• supermonad

  6.3 0.0 EdisonAPI VS supermonad

  A plugin for GHC to support super monads.

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

Less time debugging, more time building sponsored scoutapm.com

Popular Comparisons

• EdisonAPI
  vs
  containers
• EdisonAPI
  vs
  exposed-containers
• EdisonAPI
  vs
  multiset
• EdisonAPI
  vs
  type-level-sets
• pomaps
  vs
  data-clist

Deliver Cleaner and Safer Code - Right in Your IDE of Choice! sponsored www.sonarlint.org