• 1  Information Sources
  • 1.1  Book: Programming in Haskell
  • 1.2  The Monad.Reader
  • 1.3  Haskell Wikibook
  • 1.4  Monad Tutorial
  • 1.5  Oleg’s Mini tutorials and assorted small projects
  • 1.6  Haskell Cheat Sheet
  • 1.7  The Happstack Tutorial
  • 2  Implementations
  • 2.1  The Glasgow Haskell Compiler
  • 2.2  nhc98
  • 2.3  The Helium compiler
  • 2.4  UHC, Utrecht Haskell Compiler (previously: EHC, “Essential Haskell” compiler)
  • 2.5  Hugs as Yhc Core Producer
  • 2.6  Haskell frontend for the Clean compiler
  • 2.7  SAPL, Simple Application Programming Language
  • 2.8  The Reduceron
  • 2.9  Platforms
  • 2.9.1  Haskell in Gentoo Linux
  • 2.9.2  Fedora Haskell SIG
  • 2.9.3  GHC on OpenSPARC
  • 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
  • 3.1.6  HaskellJoin
  • 3.2  Related Languages
  • 3.2.1  Curry
  • 3.2.2  Agda
  • 3.2.3  Clean
  • 3.2.4  Timber
  • 3.3  Type System / Program Analysis
  • 3.3.1  Free Theorems for Haskell
  • 3.3.2  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  Gast
  • 4.3.5  Concurrent Haskell Debugger
  • 4.3.6  Hpc
  • 4.3.7  SourceGraph
  • 4.3.8  HLint
  • 4.3.9  hp2any
  • 4.4  Development
  • 4.4.1  Hoogle — Haskell API Search
  • 4.4.2  HEAT: The Haskell Educational Advancement Tool
  • 4.4.3  Haskell Mode Plugins for Vim
  • 4.4.4  yi
  • 4.4.5  HaRe — The Haskell Refactorer
  • 4.4.6  DarcsWatch
  • 4.4.7  cpphs
  • 5  Libraries
  • 5.1  Cabal and Hackage
  • 5.2  Haskell Platform
  • 5.3  Auxiliary Libraries
  • 5.3.1  libmpd
  • 5.3.2  hmatrix
  • 5.3.3  The Neon Library
  • 5.3.4  unamb
  • 5.3.5  leapseconds-announced
  • 5.4  Processing Haskell
  • 5.4.1  hint
  • 5.4.2  mueval
  • 5.4.3  hscolour
  • 5.5  Parsing and Transforming
  • 5.5.1  HStringTemplate
  • 5.5.2  CoreErlang
  • 5.5.3  parse-dimacs: A DIMACS CNF Parser
  • 5.5.4  InterpreterLib
  • 5.5.5  KURE
  • 5.5.6  Typed Transformations of Typed Abstract Syntax (TTTAS)
  • 5.5.7  ChristmasTree (previously: GRead)
  • 5.5.8  Utrecht Parser Combinator Library: Old version
  • 5.5.9  Utrecht Parser Combinator Library: New version
  • 5.6  Mathematical Objects
  • 5.6.1  Halculon: units and physical constants database
  • 5.6.2  Numeric prelude
  • 5.6.3  vector-space
  • 5.6.4  Nat
  • 5.6.5  AERN-Real and friends
  • 5.6.6  Haskell BLAS Bindings
  • 5.6.7  logfloat
  • 5.6.8  fad: Forward Automatic Differentiation
  • 5.7  Data types and data structures
  • 5.7.1  HList — a library for typed heterogeneous collections
  • 5.7.2  Edison
  • 5.7.3  MemoTrie
  • 5.7.4  bytestring-trie
  • 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.8.5  Takusen
  • 5.9  Generic and Type-Level 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.9.7  Data.Label — “atoms” for type-level programming
  • 5.10  User interfaces
  • 5.10.1  Gtk2Hs
  • 5.10.2  HQK
  • 5.10.3  wxHaskell
  • 5.10.4  Shellac
  • 5.10.5  Haskeline
  • 5.11  Graphics
  • 5.11.1  diagrams
  • 5.11.2  FieldTrip
  • 5.11.3  LambdaCube
  • 5.12  Music
  • 5.12.1  Haskore revision
  • 5.12.2  Euterpea
  • 5.13  Web and XML programming
  • 5.13.1  Haskell XML Toolbox
  • 5.13.2  HaXml
  • 5.13.3  tagsoup
  • 5.14  System
  • 5.14.1  hinotify
  • 5.14.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  Lambda Shell
  • 6.2.4  INblobs — Interaction Nets interpreter
  • 6.2.5  Soccer-Fun
  • 6.3  Web Development
  • 6.3.1  Holumbus Search Engine Framework
  • 6.3.2  Top Writer
  • 6.3.3  Bamboo blog engine (previously: Panda) / Hack Webserver interface
  • 6.3.4  InputYourData.com
  • 6.3.5  Hircules
  • 6.3.6  HCluster
  • 6.3.7  JavaScript Monadic Writer
  • 6.3.8  Haskell DOM Bindings
  • 6.4  Data Management and Visualization
  • 6.4.1  Pandoc
  • 6.4.2  tiddlyisar
  • 6.4.3  HaExcel — From Spreadsheets to Relational Databases and Back
  • 6.4.4  Between Types and Tables
  • 6.4.5  SdfMetz
  • 6.4.6  The Proxima 2.0 generic editor
  • 6.5  Functional Reactive Programming
  • 6.5.1  Grapefruit
  • 6.5.2  Reactive
  • 6.5.3  Functional Hybrid Modeling
  • 6.5.4  Elerea
  • 6.6  Audio and Graphics
  • 6.6.1  Audio signal processing
  • 6.6.2  hsProcMusic
  • 6.6.3  easyVision
  • 6.6.4  photoname
  • 6.6.5  Simplex-Based Spatial Operations
  • 6.6.6  n-Dimensional Convex Decomposition of Polytops
  • 6.6.7  DVD2473
  • 6.7  Proof Assistants and Reasoning
  • 6.7.1  Galculator
  • 6.7.2  funsat: DPLL-style Satisfiability Solver
  • 6.7.3  Saoithin: a 2nd-order proof assistant
  • 6.7.4  Inference Services for Hybrid Logics
  • 6.7.5  HyLoRes
  • 6.7.6  HTab
  • 6.7.7  HGen
  • 6.7.8  Sparkle
  • 6.7.9  Haskabelle
  • 6.8  Modeling and Analysis
  • 6.8.1  Streaming Component Combinators
  • 6.8.2  Raskell
  • 6.8.3  iTasks
  • 6.8.4  CSP-M Tools at University of Düsseldorf
  • 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  NLP
  • 6.10.2  GenI
  • 6.10.3  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  Roguestar
  • 6.12.3  Hpysics
  • 6.12.4  hledger
  • 6.12.5  LQPL — A quantum programming language compiler and emulator
  • 6.12.6  Yogurt
  • 6.12.7  Dyna 2
  • 7  Commercial Users
  • 7.1  Well-Typed LLP
  • 7.2  SeeReason Partners, LLC
  • 7.3  Credit Suisse Global Modeling and Analytics Group
  • 7.4  Bluespec tools for design of complex chips
  • 7.5  Galois, Inc.
  • 7.6  IVU Traffic Technologies AG Rostering Group
  • 7.7  Tupil
  • 7.8  Aflexi Content Delivery Network (CDN)
  • 7.9  Industrial Haskell Group
  • 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  Haskell at K.U.Leuven, Belgium
  • 8.8  Haskell in Romania
  • 8.9  Assorted Small Portland State University Haskell Bits
  • 8.10  fp-syd: Functional Programming in Sydney, Australia.