Applications and libraries

From HaskellWiki
Revision as of 13:35, 22 March 2006 by BjornBringert (talk | contribs) (Moved GUI stuff from the old libraries page.)

Jump to: navigation, search
The copyright status of this work is not known. Please help resolve this on the talk page.

This page is being restructured, if possible refrain from editing it today. If you want to add something send an e-mail to bringert@cs.chalmers.se -- BjornBringert, 2006-03-22

The first place to look for data types or functions that do what you want is the Standard Prelude, then the Language and library specification (both parts of the Haskell standards documentation), then in whatever extra libraries are provided by the Haskell implementation you are using, then on the page you are looking at. If it is not here, then it may be in the archives of the Haskell Weekly News.

Search the standard libraries collection (by name or type signature) using Hoogle.

There is an effort underway to standardise many of the extra libraries that come with Haskell implementations, and at the same time extend the module namespace into a hierarchy. A document describing this project can be found here, and there is a mailing list for discussing issues related to libraries.

A large collection of standard hierarchical libraries are currently distributed with GHC (from version 5.04), Hugs (from Nov 2003), and nhc98 (from 1.16).

Cabal, The Common Architecture for Building Applications and Libraries, is an framework for packaging, building, and installing any tool developed in the Haskell language.

This page is intended as a comprehensive list of all Haskell libraries and tools. Some of these are proof-of-concepts rather than production code. Some have no longer been maintained for a long time.

On freshmeat.com there is an alternative list of public domain software written in Haskell. That list is currently short (for you to change that), but in particular it displays the current development status of the software. Even more Haskell projects are documented in the community reports and in the archives of the Haskell Weekly News.

Program Development

The contents of this section have been moved to ProgramDevelopment.

Data structures

The contents of this section have been moved to DataStructures.

Extended Haskell

The contents of this section have been moved to ExtendedHaskell.

Interfacing with other languages and systems

HaXR - the Haskell XML-RPC library
An XML-RPC client and server library. XML-RPC is "remote procedure calling using HTTP as the transport and XML as the encoding. XML-RPC is designed to be as simple as possible, while allowing complex data structures to be transmitted, processed and returned."
HAIFA
HAIFA is an implementation of parts of the web-service architecture in Haskell. Notably it includes an XML serializer, a partial implementation of XML Schema and SOAP/1.1.

Tools for interfacing with other languages

The definition of a basic foreign function interface for Haskell (FFI) is finished. It has been agreed on and implemented by most Haskell implementors. The following tools already produce code for this interface. The Guide to Haskell's Foreign Function Interface provides a comparision of the different tools.


Green Card
Green Card is a foreign function interface preprocessor for Haskell, simplifying the task of interfacing Haskell programs to external libraries (which are normally exposed via C interfaces). Green Card is currently able to generate code compatible with the [../implementations.html#ghc Glasgow Haskell Compiler], [../implementations.html#hugs Hugs] and [../implementations.html#nhc nhc].
HaskellDirect
HaskellDirect is an Interface Definition Language (IDL) compiler for Haskell, which helps interfacing Haskell code to libraries or components written in other languages (C). An IDL specification specifies the type signatures and types expected by a set of external functions. One important use of this language neutral specification of interfaces is to specify COM (Microsoft's Component Object Model) interfaces, and HaskellDirect offers special support for both using COM objects from Haskell and creating Haskell COM objects. HaskellDirect groks both the OSF DCE dialect of IDL (including the various extensions introduced by the Microsoft IDL compiler) and the OMG IIOP/CORBA dialect.
C->Haskell
A lightweight tool for implementing access to C libraries from Haskell.
HSFFIG
Haskell FFI Binding Modules Generator (HSFFIG) is a tool that takes a C library include file (.h) and generates Haskell Foreign Functions Interface import declarations for items (functions, structures, etc.) the header defines.
GCJNI
A Java Native Interface for Haskell. Allows Haskell to invoke Java code. Includes a tool to generate Haskell bindings for a Java library. Works for hugs and ghc under both Linux and Windows.
Haskell/Java VM Bridge
A bridge to the Java virtual machine via JNI for Haskell.
HaskellScript
HaskellScript is the collective name for all Haskell components, both tools and libararies, that allow interaction with the COM/ActiveX framework.
KDirect
A tool to simplify the process of interfacing C libraries to Haskell. It is less powerful than HaskellDirect, but easier to use and more portable.

Interfaces to specific systems

hs-plugins
A library for compiling and loading plugins into a running Haskell program.
HsShellScript
A library for using Haskell for tasks which are usually done by shell scripts, e.g. command line parsing, analysing paths, etc.
CGI Library
CGI programs can receive input from the client's web browser, encoded in a complicated fashion, and can write output in a variety of formats (plain text, HTML, JPEG etc) which the client then sees. The decoding and encoding of the IO is often expressed in PERL or C, and makes CGI applications tedious and awkward to write. Haskell/CGI is a library for writing CGI programs in Haskell 1.3 and above.
CGI Library
An all-in-one-file version of Erik Meijer's CGI library (above) with some bugs fixed, a few extensions and ported to Haskell 98.
daVinci binding
A binding to daVinci, an X-Windows based visualization tool for directed graphs.
hMPI
hMPI is an acronym for HaskellMPI. It is a Haskell binding conforming to MPI (Message Passing Interface) standard 1.1/1.2. The programmer is in full control over the communication between the nodes of a cluster.
Smarty(since 10/06/2003: via Internet Archive)
The world's smartest i/o device for Haskell. An interface between Haskell and Squeak, a freely available Smalltalk language and environment.
popenhs
A small library, based on runProcess in the standardised posix library. It provides lazy output from subprocesses.
haskell-corba
This package allows Haskell programmers to write CORBA clients and servers using the MICO open-source CORBA implementation. It defines a Haskell language mapping for CORBA, and includes an IDL compiler which generates Haskell stub and skeleton modules from IDL files.

Interfacing with databases

The contents of this section have been moved to DatabaseInterfaces.

Graphical User Interface Libraries

The contents of this section have been moved to GUILibraries.

Graphics

The Hugs Graphics Library
The Hugs Graphics Library supports 2-dimensional graphics operations, timers, mouse and keyboard actions and multiple windows. It runs on Hugs under both Win32 and X11. An earlier version was used for early prototypes of Fran.
Haven
Scalable Vector Graphics for Haskell. Portable, device-independent, resolution-independent library, including support for affine transformations, Bezier curves, fine-grained control of pen attributes, bounds and intersection tests, constructive area geometry, anti-aliased rendering, outline fonts, etc.
Functional Metapost
Functional Metapost is a Haskell binding for MetaPost, the powerful but cumbersome graphics language.
Functional Reactive Animation
FRAN is a Haskell library (or "embedded language") for interactive animations with 2D and 3D graphics and sound. It runs on Hugs under Windows 95 and Windows NT, using Win32 graphics (GDI).
Pan
An embedded language and highly optimizing compiler for image synthesis and transformation, based on the simple idea of images as functions over infinite, continuous 2D space. The resulting binaries can be used as PhotoShop plugins, embedded in web pages or PowerPoint, or used in an interactive standalone viewer. The compiler contains no domain-specific knowledge, so it's very extensible. See the gallery for visual examples. Currently Windows-only, but ports are encouraged.
Pan#
Pan# is a slightly re-engineered version of Pan. It uses the same compiler but used the Microsoft .NET framework instead of visual studio, making it easier to install and use. It also has a number of new features added. While Pan is embedded in Haskell, Pan# has its own Haskell-like language built in so there is no need to use other Haskell compilers. Currently Windows-only.
Pancito
Pancito is a Haskell module for manipulating functional images and then saving them to disk. It was inspired by Pan.
HOpenGL
HOpenGL is a Haskell binding for the OpenGL graphics API (GL 1.2.1 / GLU 1.3) and the portable OpenGL utility toolkit GLUT.

Graphics File Formats

Gif Writer(since 10/06/2003: via Internet Archive; this library is no longer available!)
A simple tool - capable of producing GIF based plots from within Haskell programs. Such plots can be then incorporated into HTML reports, to literate Haskell programs, or to combination of both.
Functional Specification of the JPEG algorithm, and an Implementation for Free
JPEG encoding Written in Gofer.

Web, HTML, XML

HTTP and Browser Modules
A significantly RFC compliant HTTP/1.1 implementation. This is an updated version of Warrick Gray's original version.
WASH
A family of combinator libraries for programming Web applications. WASH/HTML is for generating dynamic HTML documents, combining flexibility and safety. WASH/CGI is for server-side Web scripting with sessions, compositional forms, and graphics.
HaXml: utilities for using XML with Haskell
Includes an XML parser, an HTML parser, a pretty-printer, a combinator library for generic XML transformations, and two Haskell>-<XML converters using type-based translation.
The Haskell Html Library by Andy Gill
This library is a collection of combinators, allowing your Haskell programs to generate HTML.
XHtml library
This is a version of Network.Html, modified to produce XHTML 1.0 Transitional.
Haskell XML Toolbox
The Haskell XML Toolbox bases on the ideas of HaXml and HXML, but introduces a more general approach for processing XML with Haskell. The Haskell XML Toolbox uses a generic data model for representing XML documents, including the DTD subset and the document subset, in Haskell.
NewCGI
A library for writing CGI programs. Features include:
  • A CGI monad transformer.
  • Efficient file upload support using FastPackedString.
  • Wrapper functions for compatibility with the existing Network.CGI module.
FastCGI library
A library for using NewCGI programs with FastCGI.
CGI Library
CGI programs can receive input from the client's web browser, encoded in a complicated fashion, and can write output in a variety of formats (plain text, HTML, JPEG etc) which the client then sees. The decoding and encoding of the IO is often expressed in PERL or C, and makes CGI applications tedious and awkward to write. Haskell/CGI is a library for writing CGI programs in Haskell 1.3 and above. NOTE: 404 Not Found
CGI Library
An all-in-one-file version of Erik Meijer's CGI library (above) with some bugs fixed, a few extensions and ported to Haskell 98. NOTE: 403 Access forbidden
Generative Implementation Strategies for Data-Centric Web Applications
Generic presentation layer abstractions of administrative web applications are the central theme of this thesis. The domain-engineering approach results in a framework to support user interfaces generated from high-level descriptions. A domain-specific language describes user interfaces. The [hoyweghenSoft.zip Haskell-based generator] transforms these descriptions to user interfaces implemented with JavaScript and XHTML.
Haskell Server Pages
Using Haskell as a server-side scripting language, extended to allow embedded XML/XHTML fragments in Haskell code.


Pretty-printer libraries

Pretty printer library
Simon Peyton Jones made an "industrial strength" pretty printing library in Haskell, based on John Hughes's paper "The Design of a Pretty-printing Library" (in Advanced Functional Programming, Johan Jeuring and Erik Meijer (eds), LNCS 925). Original version by John Hughes.
Pretty-printing combinators
The combinators in the library are optimal in the sense that they produce the layout with the smallest height possible. They also allow the programmer to specify several different layouts. NOTE: oops web doesn't exist
PPrint
PPrint is an implementation of the pretty printing combinators described by Philip Wadler. The PPrint library adds new primitives to describe commonly occuring layouts and works well in practice.

Compiler and compilation tools

Manuel Chakravarty's Compiler Toolkit
There is a significant set of functionality that is required in each compiler like symbol table management, input-output operations, error management, and so on, which are good candidates for code reuse. The Compiler Toolkit is an attempt to provide an open collection of modules for these recurring tasks in Haskell.
The Zephyr Abstract Syntax Description Lanuguage (ASDL)
ASDL is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate. ASDL makes it easier for applications written in a variety of programming languages to communicate complex recursive data structures. asdlGen is a tool that takes ASDL descriptions and produces implementations of those descriptions in C, C++, Java, Standard ML, and Haskell.
Typing Haskell in Haskell
A Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users.
Hatchet
Hatchet is a type checking and inference tool for Haskell 98, written in (almost) Haskell 98.
The BNF Converter
A High-Level Tool for Implementing Well-Behaved Programming Languages.
ATerm Library
ATerms provide a generic format for representation and exchange of (annotated) terms. ATerms were developed in the context of the ASF+SDF Meta-Environment. They are also used by the rewriting language Stratego, by the transformation tool bundle XT, by the visitor generator JJForester, and by numerous other tools developed at CWI, Universiteit Utrecht, and elsewhere.
Attribute Grammar
How can attribute grammars help at the separation of concerns, at things related to the goals of aspect oriented programming? How do they relate to other concepts like monads and arrows? Why are they important for the functional programmer? See Wouter Swierstra's WhyAttributeGrammarsMatter. Utrecht University's Attribute Grammar System tools include also an attribute grammar compiler, UUAGC. The concept of attribute grammar was used in their Essential Haskell Compiler project, which gives us not only a working programming language, but also a good didactical material about using attribute grammars, e.g. in writing compilers.

Scanner and parser generators

Happy
Happy is a parser generator system for Haskell, similar to the tool `yacc' for C. Like `yacc', it takes a file containing an annotated BNF specification of a grammar and produces a Haskell module containing a parser for the grammar.
Frown
Frown is an LALR(k) parser generator for Haskell 98 written in Haskell 98.
Lucky
A parser generator for Haskell using monadic parser combinators. It was developed to be compatible with Happy.
Utrecht Parser Combinator Library
The combinators in this library analyse the grammar on the fly and build parsers that are quite efficient. An interesting aspect is that parsing results become available on the fly without hanging on to the input. The parsers will give extensive error reports of erroneous situations, and wil proceed with parsing.
Parsec
A simple, well documented monadic parser combinator library for fast parsers with good error messages.
HParser
A parser for Haskell written purely in Haskell (using the Happy parser generator).
CTKlight
Standalone distribution of the self-optimising lexer (i.e. regex) and parser combinators of the Compiler Toolkit (CTK).
Alex: A Lexical Analyser Generator
Alex 2.0 is a Lex-like package for generating Haskell scanners.
The Haskell Dynamic Lexer Engine
This system is completely dynamic: the lexer may be modified at runtime, and string buffers may be lexed by different lexers at different times.

Music

The Haskore Computer Music System
Haskore is a collection of Haskell modules designed for expressing musical structures in the high-level, declarative style of functional programming. Haskore is a means for describing music - in particular Western Music - rather than sound. It is not a vehicle for synthesizing sound produced by musical instruments, for example, although it does capture the way certain (real or imagined) instruments permit control of dynamics and articulation. Haskore compositions can be translated into various executable formats like MIDI and printed in traditional notation.
HasChorus
A set of Haskell modules written on top of Haskore to make it easier to sequence simple, repetitive music.

Numerical algorithms and mathematics

Geometric Algorithms
A small Haskell library, that contains algorithms for two-dimensional convex hulls, triangulations of polygons, Voronoi-diagrams and Delaunay-triangulations, the QEDS data structure, kd-trees and range-trees.
Digital Signal Processing
Modules for matrix manpulation, digital signal processing, spectral stimation, and frequency estimation.
Papers by Jerzy Karczmarczuk
Some interesting uses of Haskell in mathematics, including functional differentiation, power series, continued fractions.
DoCon - Algebraic Domain Constructor
A small Computer Algebra System
HaskellMath
The HaskellMath library is a sandbox for me to experiment with mathematics algorithms. So far I've implemented a few quantitative finance models (Black Scholes, Binomial Trees, etc) and basic linear algebra functions. Next I might work on either computer algebra or linear programming. All comments welcome!
Wrapper to CLAPACK
GSLHaskell
High level functional interface to standard linear algebra computations and other numerical algorithms based on the GNU Scientific Library.
Numeric Prelude
Experimental revised framework for numeric type classes.
Exact Real Arithmetic
A portal-like treatment of the topic. There are functional programming materials too, even with downloadable Haskell source.
Probabilistic Functional Programming
The PFP library is a collection of modules for Haskell that facilitates probabilistic functional programming, that is, programming with stochastic values. The probabilistic functional programming approach is based on a data type for representing distributions. A distribution represent the outcome of a probabilistic event as a collection of all possible values, tagged with their likelihood. A nice aspect of this system is that simulations can be specified independently from their method of execution. That is, we can either fully simulate or randomize any simulation without altering the code which defines it.
mirror of the following numeric modules of Jan Skibinski
Numerics with fractions(since 10/06/2003: via Internet Archive)
Roots of polynomials(since 10/06/2003: via Internet Archive)
It implements the well known Laguerre's method for finding complex roots of polynomials.
Indexless linear algebra algorithms(since 10/06/2003: via Internet Archive)
Orthogonalization, solution of linear equations, eigenvalues and eigenvectors.
State vector evolution(since 10/06/2003: via Internet Archive)
Short study of fuzzy oscillator(since 10/06/2003: via Internet Archive)
N-dimensional tensors(since 10/06/2003: via Internet Archive)
Sinc function

Hardware verification

Hawk, Specifying and Prototyping Microprocessors
The goal of the Hawk project is to develop a language for expressing highly abstracted specifications of modern microprocessor designs, to provide design teams with the ability to dynamically explore a wide range of design choices. The Hawk language is Haskell plus the Hawk library.
Lava
Lava is a hardware description language based upon Haskell.

Robots

Haskell for Vision and Robotics
Frob is an Embedded Domain Specific Language for controlling robots. It is built using the principals of Functional Reactive Programming, as developed by Conal Elliott for the Fran animation system. The current incarnation of Frob is part of the Yampa FRP system.

Cognitive Science

(Tools, algorithms, frameworks, paradigms concerning Genetic Programming, Artificial Intelligence, Neural Networks, Fuzzy Logic, Natural Language Processing etc.)

Genetic programming

Dr. Tina Yu's publications, many of them on fruitful applications of Functional Programming in Genetic Programming.

Deryck F. Brown, A. Beatriz Garmendia-Doval and John A. W. McCall, A Genetic Algorithm Framework Using Haskell

Natural language processing

Materials with downloadable Haskell sources on linguistic theories concerning Haskell, combinatory logic, etc. More materials and theroetical backgorund can be seen on the Linguistics page.

Portals and other huge resorces
Peter Ljunglöf's many pubications on natural language processing, parsing, formal semantics. Many of them uses Haskell, and there are downloadable Haskell sources too.
Applicative Universal Grammars
Parsing natural languages
Gordon J. Pace: Monadic Compositional Parsing with Context Using Maltese as a Case Study, see its context too

Various

EdComb
Editor combinators allow to assemble structure editors compositionally instead of generating them from descriptions, just as parsing combinators allow to assemble parsers compositionally instead of employing parser generators to generate parsers from grammar descriptions.
Expander2
Expander2 is a flexible multi-purpose workbench for rewriting, verification, constraint solving, flow graph analysis and related procedures that build up proofs or computation sequences. Moreover, tailor-made interpreters display terms as 2D structures ranging from trees and rooted graphs to tables, fractals and other turtle-system-generated pictures.
Strafunski
Strafunski is a Haskell bundle that provides support for generic programming in Haskell, based on the concept of a functional strategy. It consists of a combinator library (StrategyLib) and a precompiler (DrIFT-Strafunski).
FunGEn - a game engine for Haskell
FunGEn (Functional Game Engine) is a 2D platform-independent game engine implemented in and for Haskell, using HOpenGL. It is intended to help game programmers in the game development process, in a faster and automated way.
The Haskell Cryptographic Library
A library of cryptographic functions collected together in one package.
RSA
A number theory library, RSA library, and RSA programs.
Implementations of MD5, SHA1 and DES
Regular expression library
Inspired by the Perl regular expression library, written purely in Haskell. Also part of the GHC distribution.
Partial v0.1
The Partial library provides a partial order class. It also provides routines for generating a Hasse diagram from a set and a partial order. Renderers are provided for the abstract Hasse diagram representation into LaTeX (via Xy-pic) and into dot, the format for AT&T's Graphviz tools. Since no horizontal sorting is done, the Xy-pic output is rather poor at present; dot does a much better job with its layout optimisation algorithm.
fun->pdf(since 10/06/2003: via Internet Archive)
An implementation of a PDF dynamic writer in Haskell.
GetOpt
A module for GNU-/POSIX-like option handling of commandline arguments

Collections of libraries

Libraries for other languages

If you are thinking about designing a new library for Haskell, you ought to look what has been done in other languages. Here are standard library definitions for