The UMinho Haskell Libraries is an initiative of the LMF research
group of the Informatics Department of the University of Minho. For more information, see http://wiki.di.uminho.pt.
Among other things, the library contains:
- Data structures and such.
- Relation: representation of relations and graphs. Includes functionality such as slicing, connected components analysis, graph integration, and more.
- Metrics: some support for representing and printing metrics.
- Language processing support. This includes the HaLex and HaGlr libraries for lexical and syntactic analysis, as well as support for various specific languages, such as:
- SDF: syntax definition formalism.
- Haskell: builds on the AST, parser, and pretty-printer in the standard libraries.
- Java: object-oriented programming language.
- Gnumeric: spreadsheet format in XML form.
- Support for point-free programming.
- VDM-like constructs modeled in Haskell.
Various people have contributed to the libraries:
- Joost Visser: infrastructure for building, distributing, testing, etc; Gnumeric, Java, Relation, Bag, TypeInference.
- Joao Saraiva: HaLex and HaGlr
- Alcino Cunha: Pointless.
- Patrick Machado: Java
- Cupertino Miranda: Gnumeric
- Tiago Alves: Metrics, SDF.
- Joao Ferreira: Camila
- Alexandra Mendes: Camila.
- Joao Fernandes: HaGlr.