• 1  General
  • 1.1  HaskellWiki and haskell.org
  • 1.2  #haskell
  • 1.3  The Monad.Reader
  • 1.4  Haskell Weekly News
  • 1.5  Planet Haskell
  • 1.6  Books and tutorials
  • 1.6.1  Programming in Haskell
  • 1.6.2  Real World Haskell
  • 1.6.3  Haskell Wikibook
  • 1.6.4  Gtk2Hs tutorial
  • 1.6.5  Oleg’s Mini tutorials and assorted small projects
  • 2  Implementations
  • 2.1  The Glasgow Haskell Compiler
  • 2.2  nhc98
  • 2.3  yhc
  • 2.4  The Helium compiler
  • 2.5  The Reduceron
  • 2.6  Platforms
  • 2.6.1  Haskell in Gentoo Linux
  • 2.6.2  OpenBSD Haskell
  • 3  Language
  • 3.1  Extensions of Haskell
  • 3.1.1  Haskell Server Pages (HSP)
  • 3.1.2  GpH — Glasgow Parallel Haskell
  • 3.1.3  Eden
  • 3.1.4  XHaskell project
  • 3.1.5  HaskellActorJoin (previously: HaskellJoin)
  • 3.2  Related Languages
  • 3.2.1  Curry
  • 3.2.2  Agda
  • 3.2.3  Epigram
  • 3.3  Type System / Program Analysis
  • 3.3.1  Uniqueness Typing
  • 3.3.2  Free Theorems for Haskell
  • 4  Tools
  • 4.1  Scanning, Parsing, Transformations
  • 4.1.1  Alex version 2
  • 4.1.2  Happy
  • 4.1.3  UUAG
  • 4.2  Documentation
  • 4.2.1  Haddock
  • 4.2.2  lhs2TeX
  • 4.3  Testing and Debugging
  • 4.3.1  SmallCheck
  • 4.3.2  Lazy SmallCheck
  • 4.3.3  EasyCheck
  • 4.3.4  CyCoTest
  • 4.3.5  Hat
  • 4.4  Development
  • 4.4.1  Hoogle — Haskell API Search
  • 4.4.2  Leksah, Haskell IDE
  • 4.4.3  EclipseFP — Haskell support for the Eclipse IDE
  • 4.4.4  yi
  • 4.4.5  HaRe — The Haskell Refactorer
  • 4.4.6  Haskell Mode Plugins for Vim
  • 4.4.7  :def and .ghci (previously: dot.ghci)
  • 4.4.8  DarcsWatch
  • 4.4.9  cpphs
  • 5  Libraries
  • 5.1  Cabal and Hackage
  • 5.2  Auxiliary Libraries
  • 5.2.1  libmpd
  • 5.2.2  gravatar
  • 5.2.3  mersenne-random
  • 5.2.4  cmath
  • 5.2.5  hmatrix (previously: GSLHaskell)
  • 5.2.6  HPDF
  • 5.2.7  The Neon Library
  • 5.2.8  uniplate
  • 5.3  Processing Haskell
  • 5.3.1  hint
  • 5.3.2  hs-plugins
  • 5.3.3  hscolour
  • 5.4  Parsing and Transforming
  • 5.4.1  pcre-light
  • 5.4.2  HStringTemplate
  • 5.4.3  CoreErlang
  • 5.4.4  parse-dimacs: A DIMACS CNF Parser
  • 5.4.5  Graph Parser Combinators in Curry
  • 5.4.6  The X-SAIGA Project
  • 5.4.7  InterpreterLib
  • 5.5  Data types and data structures
  • 5.5.1  Data.ByteString
  • 5.5.2  dlist
  • 5.5.3  dimensional
  • 5.5.4  Numeric prelude
  • 5.5.5  HList — a library for typed heterogeneous collections
  • 5.5.6  stream-fusion
  • 5.5.7  Edison
  • 5.6  Data processing
  • 5.6.1  bytestring-mmap
  • 5.6.2  binary
  • 5.6.3  The Haskell Cryptographic Library
  • 5.6.4  The Haskell ASN.1 Library
  • 5.6.5  2LT: Two-Level Transformation
  • 5.7  Types for Safety and Reasoning
  • 5.7.1  Takusen
  • 5.7.2  Session Types for Haskell
  • 5.7.3  Category Extras — Comonad Transformers and Bird-Meertens combinators
  • 5.7.4  IOSpec
  • 5.8  User interfaces
  • 5.8.1  Gtk2Hs
  • 5.8.2  Grapefruit — A declarative GUI and graphics library
  • 5.8.3  Shellac
  • 5.9  (Multi-)Media
  • 5.9.1  diagrams
  • 5.9.2  YampaSynth (previously: Programming of Modular Synthesisers)
  • 5.9.3  Haskore revision
  • 5.10  Web and XML programming
  • 5.10.1  hvac
  • 5.10.2  Haskell XML Toolbox
  • 5.10.3  HaXml
  • 5.10.4  tagsoup
  • 5.10.5  WASH/CGI — Web Authoring System for Haskell
  • 5.11  System
  • 5.11.1  hinotify
  • 5.11.2  hspread
  • 5.11.3  Harpy
  • 6  Applications and Projects
  • 6.1  For the Masses
  • 6.1.1  Darcs
  • 6.1.2  xmonad
  • 6.2  Education
  • 6.2.1  Exercise Assistants
  • 6.2.2  Holmes, plagiarism detection for Haskell
  • 6.2.3  Geordi IRC C++ eval bot
  • 6.2.4  Lambda Shell
  • 6.2.5  INblobs – Interaction Nets interpreter
  • 6.3  Data Access and Visualisation
  • 6.3.1  Holumbus Search Engine Framework
  • 6.3.2  Top Writer
  • 6.3.3  tiddlyisar
  • 6.3.4  Emping
  • 6.3.5  SdfMetz
  • 6.4  Audio and Graphics
  • 6.4.1  Audio signal processing
  • 6.4.2  hmp3
  • 6.4.3  Glome
  • 6.4.4  easyVision
  • 6.5  Proof Assistants and Reasoning
  • 6.5.1  Galculator
  • 6.5.2  funsat: DPLL-style Satisfiability Solver
  • 6.5.3  sat-micro-hs: SAT-Micro in Haskell
  • 6.5.4  Saoithin: a 2nd-order proof assistant
  • 6.5.5  Term Rewriting Tools written in Haskell
  • 6.5.6  Inference Services for Hybrid Logics
  • 6.5.7  HyLoRes
  • 6.5.8  HTab
  • 6.5.9  HGen
  • 6.6  Modelling and Analysis
  • 6.6.1  Coconut
  • 6.6.2  Streaming Component Combinators
  • 6.6.3  Raskell
  • 6.6.4  VooDooM
  • 6.7  Specialised Domains
  • 6.7.1  A Survey on the Use of Haskell in Natural-Language Processing
  • 6.7.2  GenI
  • 6.7.3  Bioinformatics tools
  • 6.7.4  Inductive Programming
  • 6.8  Others
  • 6.8.1  lambdabot
  • 6.8.2  FreeArc
  • 6.8.3  Roguestar
  • 7  Commercial Users
  • 7.1  Well-Typed LLP
  • 7.2  SeeReason Partners, LLC
  • 7.3  Ansemond LLC
  • 7.4  Credit Suisse Global Modelling and Analytics Group
  • 7.5  Barclays Capital Quantitative Analytics Group
  • 7.6  Bluespec tools for design of complex chips
  • 7.7  Galois, Inc.
  • 8  Research and User Groups
  • 8.1  Functional Programming Lab at the University of Nottingham
  • 8.2  Artificial Intelligence and Software Technology at JWG-University Frankfurt
  • 8.3  Functional Programming at the University of Kent
  • 8.4  Foundations and Methods Group at Trinity College Dublin
  • 8.5  Formal Methods at DFKI Lab Bremen and University of Bremen
  • 8.6  Functional Programming at Brooklyn College, City University of New York
  • 8.7  SCIence project
  • 8.8  Bay Area Functional Programmers