Popularity

2.8

Growing

Activity

0.0

Stable

Stars 4

Watchers 3

Forks 0

Last Commit almost 2 years ago

Monthly Downloads: 17

Programming language: HTML

License: GNU General Public License v2.0 only

Tags: Data Structures Education Library

Latest version: v0.0.2

I1M alternatives and similar packages

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

Agda

10.0 9.8 I1M VS Agda

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

10.0 6.0 I1M VS miso

:ramen: A tasty Haskell front-end framework

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com

hevm

10.0 4.8 I1M VS hevm

Dapp, Seth, Hevm, and more
containers

9.8 6.2 I1M VS containers

Assorted concrete container types
vinyl

9.7 0.0 I1M VS vinyl

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

9.7 6.3 I1M VS singletons

Fake dependent types in Haskell using singletons
fgl

9.6 6.6 I1M VS fgl

A Functional Graph Library for Haskell
repa-convert

9.5 0.0 I1M VS repa-convert

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

9.5 0.0 I1M VS repa-eval

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

9.5 0.0 I1M VS repa-array

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

9.5 0.0 I1M VS repa-scalar

High performance, regular, shape polymorphic parallel arrays.
cubical

9.4 0.0 I1M VS cubical

Implementation of Univalence in Cubical Sets
parameterized-utils

9.1 6.1 I1M VS parameterized-utils

A set of utilities for using indexed types including containers, equality, and comparison.
ethereum-client-haskell

9.0 0.0 I1M VS ethereum-client-haskell

A Haskell version of an Ethereum client
psqueues

9.0 5.2 I1M VS psqueues

Priority Search Queues in three different flavors for Haskell
adjunctions

9.0 3.3 I1M VS adjunctions

Simple adjunctions
hoq

9.0 0.0 I1M VS hoq

A language based on homotopy type theory with an interval
distributive

8.9 2.7 I1M VS distributive

Dual Traversable
type-level-sets

8.8 0.0 I1M VS type-level-sets

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

8.7 0.0 I1M VS bookkeeper

Anonymous records and overloaded labels
justified-containers

8.7 0.0 I1M VS justified-containers

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

8.5 3.9 I1M VS clafer

Clafer is a lightweight modeling language
EdisonAPI

8.4 3.7 I1M VS EdisonAPI

Edison: A Library of Efficient Data Structures
slist

8.2 0.0 I1M VS slist

♾️ Sized list
bytestring-trie

8.2 4.6 I1M VS bytestring-trie

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

8.2 3.2 I1M VS ixset-typed

More strongly typed variant of the ixset Haskell package
void

8.1 0.0 I1M VS void

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

8.0 0.0 I1M VS heaps

Asymptotically optimal Brodal/Okasaki heaps
knit

7.9 0.0 I1M VS knit

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

7.9 0.0 I1M VS hamtmap

DISCONTINUED. A purely functional and persistent hash map
haggle

7.9 5.0 I1M VS haggle

An efficient graph library for Haskell
bitset

7.7 0.0 I1M VS bitset

A compact functional set data structure
nonempty-containers

7.7 3.1 I1M VS nonempty-containers

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

7.7 0.0 I1M VS multiset

multiset haskell package
graphite

7.5 0.0 I1M VS graphite

Haskell graphs and networks library
algebra-checkers

7.5 0.0 I1M VS algebra-checkers

checkers for algebra driven design
helf

7.3 3.3 I1M VS helf

Haskell implementation of the Edinburgh Logical Framework
map-exts

7.3 0.0 I1M VS map-exts

Extensions to Data.Map
rawr

7.2 0.0 I1M VS rawr

Anonymous extensible records and variant types
data-r-tree

7.1 4.7 I1M VS data-r-tree

Haskell implementatio of R-Trees
eliminators

7.1 4.5 I1M VS eliminators

Dependently typed elimination functions using singletons
TypeCompose

6.8 0.0 I1M VS TypeCompose

Type composition classes & instances & misc
claferIG

6.8 3.9 I1M VS claferIG

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

6.7 0.0 I1M VS mtl-c

Monad transformers in CPS
selections

6.7 0.0 I1M VS selections

Haskell Package for operating with selections over an underlying functor
map-syntax

6.7 0.0 I1M VS map-syntax

Syntax sugar and explicit semantics for statically defined maps
ixset

6.6 0.0 I1M VS ixset

A Set type which supports multiple indexes
igraph

6.6 0.0 I1M VS igraph

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

6.6 0.0 I1M VS supermonad

A plugin for GHC to support super monads.
representable-functors

6.6 0.0 I1M VS representable-functors

representable functors

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

Add another 'Data Structures' Package

Popular Comparisons

README

En este repositorio se encuentra el código en Haskell de las librerías desarrolladas y usadas en el curso de Informática de 1º del Grado en Matemáticas de la Universidad de Sevilla.

La documentación se puede consultar aquí.

Las librerías incluidas son: