• 1  General
• 1.1  HaskellWiki and haskell.org
• 1.2  #haskell
• 1.3  The Monad.Reader
• 1.4  Haskell Weekly News
• 1.5  Books and tutorials
• 1.5.1  Programming in Haskell
• 1.5.2  Real World Haskell
• 1.5.3  Haskell Wikibook
• 1.5.4  Gtk2Hs tutorial
• 1.5.5  Monad Tutorial
• 1.5.6  Oleg’s Mini tutorials and assorted small projects
• 1.5.7  Haskell Cheat Sheet
• 2  Implementations
• 2.1  The Glasgow Haskell Compiler
• 2.2  nhc98
• 2.3  yhc
• 2.4  The Helium compiler
• 2.5  EHC, “Essential Haskell” Compiler
• 2.6  Hugs as Yhc Core Producer
• 2.7  Haskell frontend for the Clean compiler
• 2.8  The Reduceron
• 2.9  Platforms
• 2.9.1  Haskell in Gentoo Linux
• 2.9.2  Fedora Haskell SIG
• 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  HaskellActor (previously: HaskellActorJoin)
• 3.2  Related Languages
• 3.2.1  Curry
• 3.2.2  Agda
• 3.2.3  Clean
• 3.3  Type System / Program Analysis
• 3.3.1  Uniqueness Typing
• 3.3.2  Free Theorems for Haskell
• 3.3.3  The Disciplined Disciple Compiler (DDC)
• 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, Debugging, and Analysis
• 4.3.1  SmallCheck and Lazy SmallCheck
• 4.3.2  EasyCheck
• 4.3.3  checkers
• 4.3.4  CyCoTest
• 4.3.5  Gforall st
• 4.3.6  Hat
• 4.3.7  Concurrent Haskell Debugger
• 4.3.8  Hpc
• 4.3.9  SourceGraph
• 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  HEAT: The Haskell Educational Advancement Tool
• 4.4.5  Haskell Mode Plugins for Vim
• 4.4.6  yi
• 4.4.7  HaRe — The Haskell Refactorer
• 4.4.8  DarcsWatch
• 4.4.9  cpphs
• 5  Libraries
• 5.1  Cabal and Hackage
• 5.2  Haskell Platform
• 5.3  Auxiliary Libraries
• 5.3.1  libmpd
• 5.3.2  gravatar
• 5.3.3  mersenne-random
• 5.3.4  cmath
• 5.3.5  hmatrix
• 5.3.6  The Neon Library
• 5.3.7  unamb
• 5.4  Processing Haskell
• 5.4.1  hint
• 5.4.2  mueval
• 5.4.3  hscolour
• 5.5  Parsing and Transforming
• 5.5.1  pcre-light
• 5.5.2  HStringTemplate
• 5.5.3  CoreErlang
• 5.5.4  parse-dimacs: A DIMACS CNF Parser
• 5.5.5  The X-SAIGA Project
• 5.5.6  InterpreterLib
• 5.5.7  KURE
• 5.5.8  Typed Transformations of Typed Abstract Syntax (TTTAS)
• 5.5.9  Grammar Based Read (GRead)
• 5.5.10  Utrecht Parser Combinator Library
• 5.6  Mathematical Objects
• 5.6.1  dimensional
• 5.6.2  Halculon: units and physical constants database
• 5.6.3  Numeric prelude
• 5.6.4  vector-space
• 5.6.5  Nat
• 5.6.6  AERN-Real and friends
• 5.6.7  Haskell BLAS Bindings
• 5.7  Data types and data structures
• 5.7.1  Data.ByteString
• 5.7.2  bytestring-mmap
• 5.7.3  dlist
• 5.7.4  HList — a library for typed heterogeneous collections
• 5.7.5  stream-fusion
• 5.7.6  Edison
• 5.7.7  MemoTrie
• 5.8  Data processing
• 5.8.1  The Haskell Cryptographic Library
• 5.8.2  The Haskell ASN.1 Library
• 5.8.3  MultiSetRewrite
• 5.8.4  Graphalyze
• 5.9  Generic Programming
• 5.9.1  uniplate
• 5.9.2  Scrap Your Boilerplate (SYB)
• 5.9.3  Extensible and Modular Generics for the Masses (EMGM)
• 5.9.4  multirec: Generic programming with systems of recursive datatypes
• 5.9.5  Generic rewriting library for regular datatypes
• 5.9.6  2LT: Two-Level Transformation
• 5.10  Types for Safety and Reasoning
• 5.10.1  Takusen
• 5.10.2  Session Types for Haskell
• 5.10.3  Category Extras — Comonad Transformers and Bird-Meertens combinators
• 5.10.4  IOSpec
• 5.11  User interfaces
• 5.11.1  Gtk2Hs
• 5.11.2  HQK
• 5.11.3  wxHaskell
• 5.11.4  Shellac
• 5.11.5  Haskeline
• 5.12  Graphics
• 5.12.1  diagrams
• 5.12.2  FieldTrip
• 5.13  Music
• 5.13.1  YampaSynth
• 5.13.2  Haskore revision
• 5.14  Web and XML programming
• 5.14.1  Haskell XML Toolbox
• 5.14.2  HaXml
• 5.14.3  tagsoup
• 5.15  System
• 5.15.1  hinotify
• 5.15.2  hlibev
• 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.2.6  Soccer-Fun
• 6.3  Web Development
• 6.3.1  Holumbus Search Engine Framework
• 6.3.2  Top Writer
• 6.3.3  Panda blog engine
• 6.3.4  InputYourData.com
• 6.3.5  Hircules
• 6.4  Data Management and Visualization
• 6.4.1  Pandoc
• 6.4.2  tiddlyisar
• 6.4.3  Emping
• 6.4.4  HaExcel — From Spreadsheets to Relational Databases and Back
• 6.4.5  Between Types and Tables
• 6.4.6  SdfMetz
• 6.5  Functional Reactive Programming
• 6.5.1  Grapefruit
• 6.5.2  Reactive
• 6.5.3  Functional Hybrid Modeling
• 6.6  Audio and Graphics
• 6.6.1  Audio signal processing
• 6.6.2  hsProcMusic
• 6.6.3  Glome
• 6.6.4  easyVision
• 6.6.5  photoname
• 6.6.6  Simplex-Based Spatial Operations
• 6.7  Proof Assistants and Reasoning
• 6.7.1  Galculator
• 6.7.2  funsat: DPLL-style Satisfiability Solver
• 6.7.3  sat-micro-hs: SAT-Micro in Haskell
• 6.7.4  Saoithin: a 2nd-order proof assistant
• 6.7.5  Inference Services for Hybrid Logics
• 6.7.6  HyLoRes
• 6.7.7  HTab
• 6.7.8  HGen
• 6.7.9  Sparkle
• 6.8  Modeling and Analysis
• 6.8.1  Coconut
• 6.8.2  Streaming Component Combinators
• 6.8.3  Raskell
• 6.8.4  iTasks
• 6.9  Hardware Design
• 6.9.1  ForSyDe
• 6.9.2  Lava
• 6.9.3  Wired
• 6.9.4  Oread
• 6.10  Natural Language Processing
• 6.10.1  GenI
• 6.10.2  Grammatical Framework
• 6.11  Inductive Programming
• 6.11.1  Inductive Programming
• 6.11.2  IgorII
• 6.12  Others
• 6.12.1  Bioinformatics tools
• 6.12.2  lambdabot
• 6.12.3  Roguestar
• 6.12.4  Hpysics
• 6.12.5  hledger
• 7  Commercial Users
• 7.1  Well-Typed LLP
• 7.2  SeeReason Partners, LLC
• 7.3  Ansemond LLC
• 7.4  Credit Suisse Global Modeling and Analytics Group
• 7.5  Bluespec tools for design of complex chips
• 7.6  Galois, Inc.
• 7.7  IVU Traffic Technologies AG Rostering Group
• 7.8  Tupil
• 8  Research and User Groups
• 8.1  Functional Programming Lab at the University of Nottingham
• 8.2  Artificial Intelligence and Software Technology at Goethe-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 Bremen and University of Bremen
• 8.6  SCIence project
• 8.7  Functional Programming at K.U.Leuven, Belgium
• 8.8  Haskell in Romania
• 8.9  Assorted Small Portland State University Haskell Bits