Difference between revisions of "Applications and libraries"

From HaskellWiki
Jump to: navigation, search
m (Some formatting fixes.)
(Fixed mark-up in the Various section.)
Line 99: Line 99:
 
== Various ==
 
== Various ==
   
<dl>
 
  +
;[http://www.cse.unsw.edu.au/~dons/hs-plugins/ hs-plugins]
<dt>[http://www.cse.unsw.edu.au/~dons/hs-plugins/ hs-plugins]
 
  +
:A library for compiling and loading plugins into a running Haskell program.
<dd>A library for compiling and loading plugins into a running Haskell program.</dd>
 
<dt>[http://www.volker-wysk.de/hsshellscript HsShellScript]</dt>
 
<dd>A library for using Haskell for tasks which are usually done by shell scripts, e.g. command line parsing, analysing paths, etc.</dd>
 
   
<dt>[http://www-i2.informatik.rwth-aachen.de/~michaelw/hmpi.html hMPI]</dt>
 
  +
;[http://www.volker-wysk.de/hsshellscript HsShellScript]
  +
:A library for using Haskell for tasks which are usually done by shell scripts, e.g. command line parsing, analysing paths, etc.
   
<dd>hMPI is an acronym for HaskellMPI. It is a Haskell binding
 
  +
;[http://www-i2.informatik.rwth-aachen.de/~michaelw/hmpi.html hMPI]
conforming to MPI (Message Passing Interface) standard 1.1/1.2. The
+
: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.
programmer is in full control over the communication between the
 
nodes of a cluster.</dd>
 
   
<dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/smartest.html Smarty]<em>(since 10/06/2003: via Internet Archive)</em></dt>
+
;[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/smartest.html Smarty]<em>(via Internet Archive since 10/06/2003)</em>
  +
:The world's smartest i/o device for Haskell. An interface between Haskell and Squeak, a freely available Smalltalk language and environment.
   
<dd>The world's smartest i/o device for Haskell. An interface
 
  +
;[http://www.haskell.org/~petersen/haskell/popenhs/ popenhs]
between Haskell and Squeak, a freely available Smalltalk language
 
  +
:A small library, based on runProcess in the standardised posix library. It provides lazy output from subprocesses.
and environment.</dd>
 
   
<dt>[http://www.haskell.org/~petersen/haskell/popenhs/ popenhs]</dt>
 
  +
;[http://www2-data.informatik.unibw-muenchen.de/EdComb/ 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.
   
<dd>A small library, based on runProcess in the standardised posix library.
 
  +
;[http://ls5-www.cs.uni-dortmund.de/~peter/Expander2/Expander2.html Expander2]
It provides lazy output from subprocesses.</dd>
 
  +
: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.
   
<dt>[http://www2-data.informatik.unibw-muenchen.de/EdComb/ EdComb]
 
  +
;[http://www.cs.vu.nl/Strafunski/ Strafunski]
<dd>Editor combinators allow to assemble structure editors compositionally instead of generating them from descriptions, just
 
  +
: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).
as parsing combinators allow to assemble parsers compositionally instead of employing parser generators to generate
 
parsers from grammar descriptions.
 
   
<dt>[http://ls5-www.cs.uni-dortmund.de/~peter/Expander2/Expander2.html Expander2]</dt>
 
  +
;[http://www.cin.ufpe.br/~haskell/fungen FunGEn - a game engine for Haskell]
<dd>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.</dd>
 
  +
: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.
   
<dt>[http://www.cs.vu.nl/Strafunski/ Strafunski]</dt>
 
  +
;[http://www.haskell.org/crypto The Haskell Cryptographic Library]
  +
:A library of cryptographic functions collected together in one package.
   
<dd>Strafunski is a Haskell bundle that provides support for
 
  +
;[http://www.cif.rochester.edu/~sankeld/RSA/ RSA]
generic programming in Haskell, based on the concept of a
 
  +
:A number theory library, RSA library, and RSA programs.
functional strategy. It consists of a combinator library
 
(StrategyLib) and a precompiler (DrIFT-Strafunski).</dd>
 
   
<dt>[http://www.cin.ufpe.br/~haskell/fungen FunGEn - a game engine for Haskell]</dt>
 
  +
;[http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/ Implementations of MD5, SHA1 and DES]
   
<dd>FunGEn (Functional Game Engine) is a 2D platform-independent
 
  +
;[http://www.dcs.gla.ac.uk/~meurig/regexp/ Regular expression library]
game engine implemented in and for Haskell, using HOpenGL. It is
 
  +
:Inspired by the Perl regular expression library, written purely in Haskell. Also part of the GHC distribution.
intended to help game programmers in the game development process,
 
in a faster and automated way.</dd>
 
   
<dt>[http://www.haskell.org/crypto The Haskell Cryptographic Library]</dt>
 
  +
;[http://www.cl.cam.ac.uk/users/kw217/libs/ 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&amp;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.
   
<dd>A library of cryptographic functions collected together in one package.</dd>
 
  +
;[http://web.archive.org/web/*/http://www.numeric-quest.com/funpdf/ fun-&gt;pdf]<em>(via Internet Archive since 10/06/2003)</em>
  +
:An implementation of a PDF dynamic writer in Haskell.
   
<dt>[http://www.cif.rochester.edu/~sankeld/RSA/ RSA]</dt>
 
  +
;[http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne/haskell_libs/GetOpt.html GetOpt]
  +
:A module for GNU-/POSIX-like option handling of commandline arguments
   
<dd>A number theory library, RSA library, and RSA programs.</dd>
 
   
<dt>[http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/ Implementations of MD5, SHA1 and DES]</dt>
 
 
<dt>[http://www.dcs.gla.ac.uk/~meurig/regexp/ Regular expression library]</dt>
 
 
<dd>Inspired by the Perl regular expression library, written purely
 
in Haskell. Also part of the GHC distribution.</dd>
 
 
<dt>[http://www.cl.cam.ac.uk/users/kw217/libs/ Partial v0.1]</dt>
 
 
<dd>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&amp;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.</dd>
 
 
<dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/funpdf/ fun-&gt;pdf]<em>(since 10/06/2003: via Internet Archive)</em></dt>
 
 
<dd>An implementation of a PDF dynamic writer in Haskell.</dd>
 
 
<dt>[http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne/haskell_libs/GetOpt.html GetOpt]</dt>
 
 
<dd>A module for GNU-/POSIX-like option handling of commandline
 
arguments</dd>
 
</dl>
 
   
 
== Collections of libraries ==
 
== Collections of libraries ==

Revision as of 18:10, 22 March 2006

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

See ProgramDevelopment.

Data structures

See DataStructures.

Extended Haskell

See ExtendedHaskell.

Interfacing with other languages and systems

Web services and Remote Procedure Call libraries

See RPC.

Tools for interfacing with other languages

See InterfacingOtherLanguages.

Databases

See DatabaseInterfaces.

Graphical User Interface Libraries

See GUILibraries.

Graphics

See Graphics.

Web, HTML, XML

See WebProgramming. For web services, see RPC.

Pretty-printer libraries

See PrettyPrinting.

Compiler, parsing and lexing tools

See CompilerTools.

Music

See Music.

Numerical algorithms and mathematics

See MathematicsLibraries.

Hardware verification

See HardwareVerification.

Robots

See Robots.

Genetic programming

See GeneticProgramming.

Natural language processing

See Linguistics.

Various

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.
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(via Internet Archive since 10/06/2003)
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.
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(via Internet Archive since 10/06/2003)
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