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

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

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.

Pointless

Support for point-free programming.

Camila

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.