# Difference between revisions of "Applications and libraries"

(Moved daVinci binding to graphivs page.) |
(Moved math stuff to a separate page.) |
||

Line 107: | Line 107: | ||

== Numerical algorithms and mathematics == |
== Numerical algorithms and mathematics == |
||

− | <dl> |
||

+ | The contents of this section have been moved to [[MathematicsLibraries]]. |
||

− | <dt>[http://www.dinkla.net/fp/cglib.html Geometric Algorithms]</dt> |
||

− | |||

− | <dd>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.</dd> |
||

− | |||

− | <dt>[http://haskelldsp.sourceforge.net/ Digital Signal Processing]</dt> |
||

− | <dd>Modules for matrix manpulation, digital signal processing, spectral |
||

− | stimation, and frequency estimation.</dd> |
||

− | |||

− | <dt>[http://www.info.unicaen.fr/~karczma/arpap/ Papers by Jerzy Karczmarczuk]</dt> |
||

− | |||

− | <dd>Some interesting uses of Haskell in mathematics, including |
||

− | functional differentiation, power series, continued fractions.</dd> |
||

− | |||

− | <dt>[http://haskell.org/docon/ DoCon] - Algebraic Domain Constructor</dt> |
||

− | |||

− | <dd>A small Computer Algebra System</dd> |
||

− | |||

− | <dt>[http://www.robtougher.com/HaskellMath/ HaskellMath]</dt> |
||

− | |||

− | <dd> |
||

− | 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! |
||

− | </dd> |
||

− | |||

− | <dt>[http://www.isi.edu/~hdaume/HBlas/ Wrapper to CLAPACK]</dt> |
||

− | |||

− | <dt>[http://dis.um.es/~alberto/GSLHaskell GSLHaskell]</dt> |
||

− | <dd> High level functional interface to standard linear algebra computations and other numerical algorithms based on the GNU Scientific Library. |
||

− | </dd> |
||

− | |||

− | <dt>[http://cvs.haskell.org/darcs/numericprelude/ Numeric Prelude]</dt> |
||

− | |||

− | <dd> |
||

− | Experimental revised framework for numeric type classes. |
||

− | </dd> |
||

− | |||

− | <dt>[http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/ Exact Real Arithmetic]</dt> |
||

− | <dd> |
||

− | A portal-like treatment of the topic. There are functional programming materials too, even with downloadable Haskell source. |
||

− | </dd> |
||

− | |||

− | <dt>[http://eecs.oregonstate.edu/~erwig/pfp/ Probabilistic Functional Programming]</dt> |
||

− | <dd>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.</dd> |
||

− | |||

− | |||

− | |||

− | <dt>[http://cvs.haskell.org/darcs/numeric-quest/ mirror of the following numeric modules of Jan Skibinski]</dt> |
||

− | |||

− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/fractions.html Numerics with fractions]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||

− | |||

− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/Roots.html Roots of polynomials]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||

− | |||

− | <dd>It implements the well known Laguerre's method for finding |
||

− | complex roots of polynomials.</dd> |
||

− | |||

− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/Orthogonals.html Indexless linear algebra algorithms]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||

− | |||

− | <dd>Orthogonalization, solution of linear equations, eigenvalues |
||

− | and eigenvectors.</dd> |
||

− | |||

− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/ State vector evolution]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||

− | |||

− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/ Short study of fuzzy oscillator]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||

− | |||

− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/Tensor.html N-dimensional tensors]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||

− | |||

− | <dt>[[Sinc function]] |
||

− | |||

− | </dl> |
||

== Hardware verification == |
== Hardware verification == |

## Revision as of 17:36, 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.

## Contents

- 1 Program Development
- 2 Data structures
- 3 Extended Haskell
- 4 Interfacing with other languages and systems
- 5 Graphical User Interface Libraries
- 6 Graphics
- 7 Web, HTML, XML
- 8 Pretty-printer libraries
- 9 Compiler and compilation tools
- 10 Music
- 11 Numerical algorithms and mathematics
- 12 Hardware verification
- 13 Robots
- 14 Cognitive Science
- 15 Various
- 16 Collections of libraries
- 17 Libraries for other languages

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

### Web services libraries

The contents of this section have been moved to RPC.

### Tools for interfacing with other languages

The contents of this section have been moved to InterfacingOtherLanguages.

### 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.
- 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.
- 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.
- 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.

- 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
- Software available from the York FP group
- John Meacham's Haskell tools and libraries
- Andrew Rock's library of useful modules
- Libraries by Ralf Hinze for data structures, sorting, searching, parsing, pretty printing, numerical algorithms, monads, etc.
- Collection of Haskell modules
*(since 10/06/2003: via Internet Archive)*by Jan Skibinski, Numeric Quest Inc. - Sven's Haskell Libaries for interfacing to DaVinci, HTML/Cgi, OpenGL; a module for option handling, a Haskell parser, a binary library.
- Ian Lynagh's Haskell libraries
- Reid Consulting's Libraries and Programs CMI, TSL, Knit, Greencard, HGL, HSX11, HSWin32

### 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 contents of this section have been moved to Graphics.

## Web, HTML, XML

The contents of this section have been moved to WebProgramming.

## Pretty-printer libraries

The contents of this section have been moved to PrettyPrinting.

## Compiler and compilation tools

The contents of this section have been moved to CompilerTools.

## Music

The contents of this section have been moved to Music.

## Numerical algorithms and mathematics

The contents of this section have been moved to MathematicsLibraries.

## Hardware verification

## Robots

## 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

See the Linguistics page.

## Various

## 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