Popularity
2.5
Declining
Activity
0.0
Stable
4
2
0
Monthly Downloads: 20
Programming language: HTML
License: GNU General Public License v2.0 only
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
Agda is a dependently typed programming language / interactive theorem prover. -
vinyl
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. -
repa-scalar
High performance, regular, shape polymorphic parallel arrays. -
repa-convert
High performance, regular, shape polymorphic parallel arrays. -
parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison. -
ethereum-client-haskell
A Haskell version of an Ethereum client -
type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations) -
justified-containers
Standard containers, with keys that carry type-level proofs of their own presence. -
bytestring-trie
An efficient finite map from (byte)strings to values. -
nonempty-containers
Efficient non-empty variants of containers data types, with full API -
claferIG
Support for reasoning on Clafer models by instantiation and counter example generation. -
map-syntax
Syntax sugar and explicit semantics for statically defined maps -
igraph
Incomplete Haskell bindings to the igraph library (which is written in C) -
selections
Haskell Package for operating with selections over an underlying functor
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Promo
www.sonarqube.org
Do you think we are missing an alternative of I1M or a related project?
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:
- Tipos abstractos de datos:
- Patrones de diseño:
- Analizadores: