Code for the Haskell course taught at the University of Seville.

I1M alternatives and similar packages

Based on the "Data Structures" category

• miso

  10.0 7.8 I1M VS miso

  A tasty Haskell front-end framework

• Agda

  9.9 9.8 I1M VS Agda

  A dependently typed functional programming language and proof assistant

• containers

  9.8 6.3 I1M VS containers

  Assorted concrete container types

• hevm

  9.7 8.6 I1M VS hevm

  Ethereum virtual machine evaluator

• vinyl

  9.7 5.4 I1M VS vinyl

  Extensible Records

• exposed-containers

  9.6 0.0 I1M VS exposed-containers

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

• singletons

  9.6 7.3 I1M VS singletons

  A framework for generating singleton types

• repa-convert

  9.5 1.4 I1M VS repa-convert

  Packing and unpacking flat tables.

• repa-array

  9.5 1.4 I1M VS repa-array

  Bulk array representations and operators.

• cubical

  9.5 0.0 I1M VS cubical

  Implementation of Univalence in Cubical Sets

• repa-scalar

  9.5 0.0 I1M VS repa-scalar

  Scalar data types and conversions.

• repa-eval

  9.5 0.0 I1M VS repa-eval

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

• parameterized-utils

  9.3 6.7 I1M VS parameterized-utils

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

• hoq

  9.1 0.0 I1M VS hoq

  A language based on homotopy type theory with an interval type

• psqueues

  9.1 0.3 I1M VS psqueues

  Pure priority search queues

• ethereum-client-haskell

  9.0 0.0 I1M VS ethereum-client-haskell

  A Haskell version of an Ethereum client

• bookkeeper

  8.9 0.0 I1M VS bookkeeper

  Anonymous records and overloaded labels

• distributive

  8.9 4.1 I1M VS distributive

  Distributive functors -- Dual to Traversable

• type-level-sets

  8.8 0.0 I1M VS type-level-sets

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

• clafer

  8.7 0.0 I1M VS clafer

  Compiles Clafer models to other formats

• EdisonAPI

  8.6 0.0 I1M VS EdisonAPI

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

• void

  8.2 3.0 I1M VS void

  A Haskell 98 logically uninhabited data type

• slist

  8.2 4.4 I1M VS slist

  Sized list

• knit

  8.0 5.2 I1M VS knit

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

• justified-containers

  8.0 0.7 I1M VS justified-containers

  Keyed container types with verified keys.

• ixset-typed

  8.0 3.8 I1M VS ixset-typed

  Efficient relational queries on Haskell sets.

• hamtmap

  7.9 0.0 I1M VS hamtmap

  A purely functional and persistent hash map

• multiset

  7.9 2.9 I1M VS multiset

  The Data.MultiSet container type

• bitset

  7.6 0.0 I1M VS bitset

  A space-efficient set data structure.

• heaps

  7.5 4.8 I1M VS heaps

  Asymptotically optimal Brodal/Okasaki heaps.

• rawr

  7.5 0.0 I1M VS rawr

  Anonymous extensible records

• haggle

  7.4 4.6 I1M VS haggle

  A graph library offering mutable, immutable, and inductive graphs

• data-r-tree

  7.4 4.3 I1M VS data-r-tree

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

• bytestring-trie

  7.2 6.2 I1M VS bytestring-trie

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

• claferIG

  7.2 0.0 I1M VS claferIG

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

• map-exts

  7.1 0.0 I1M VS map-exts

  Extensions to Data.Map

• mtl-c

  6.9 0.0 I1M VS mtl-c

  Very strict CPS'd transformers

• hw-fingertree-strict

  6.9 6.5 I1M VS hw-fingertree-strict

  Generic strict finger-tree structure

• map-syntax

  6.9 0.0 I1M VS map-syntax

  Syntax sugar for defining maps

• graphite

  6.9 4.1 I1M VS graphite

  Graphs and networks library

• nonempty-containers

  6.8 5.1 I1M VS nonempty-containers

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

• eliminators

  6.8 5.4 I1M VS eliminators

  Dependently typed elimination functions using singletons

• helf

  6.8 0.0 I1M VS helf

  Typechecking terms of the Edinburgh Logical Framework (LF).

• algebra-checkers

  6.7 8.5 I1M VS algebra-checkers

  Model and test API surfaces algebraically

• supermonad

  6.6 0.0 I1M VS supermonad

  Plugin and base library to support supermonads in Haskell

• regional-pointers

  6.6 0.0 I1M VS regional-pointers

  Regional memory pointers

• igraph

  6.5 0.0 I1M VS igraph

  Bindings to the igraph C library.

• selections

  6.5 0.3 I1M VS selections

  Combinators for operating with selections over an underlying functor

• TypeCompose

  6.2 0.0 I1M VS TypeCompose

  Type composition classes & instances

• safer-file-handles

  6.2 0.0 I1M VS safer-file-handles

  Type-safe file handling

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

Popular Comparisons

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

SaaSHub - Software Alternatives and Reviews View more from us