• 1  Information Sources
• 1.1  The Monad.Reader
• 1.2  Haskell Wikibook
• 1.3  Oleg’s Mini tutorials and assorted small projects
• 1.4  Haskell Cheat Sheet
• 1.5  The Happstack Tutorial
• 1.6  Practice of Functional Programming
• 1.7  Cartesian Closed Comic
• 2  Implementations
• 2.1  The Glasgow Haskell Compiler
• 2.2  The Helium compiler
• 2.3  UHC, Utrecht Haskell Compiler
• 2.4  Haskell frontend for the Clean compiler
• 2.5  SAPL, Simple Application Programming Language
• 2.6  The Reduceron
• 2.7  Platforms
• 2.7.1  Haskell in Gentoo Linux
• 2.7.2  Fedora Haskell SIG
• 2.7.3  GHC on OpenSPARC
• 3  Language
• 3.1  Extensions of Haskell
• 3.1.1  Eden
• 3.1.2  XHaskell project
• 3.1.3  HaskellActor
• 3.1.4  HaskellJoin
• 3.2  Related Languages
• 3.2.1  Curry
• 3.2.2  Agda
• 3.2.3  Clean
• 3.2.4  Timber
• 3.2.5  Ur/Web
• 3.3  Type System / Program Analysis
• 3.3.1  Free Theorems for Haskell (and Curry)
• 3.3.2  The Disciplined Disciple Compiler (DDC)
• 4  Tools
• 4.1  Transforming and Generating
• 4.1.1  UUAG
• 4.1.2  AspectAG
• 4.1.3  HFusion
• 4.1.4  Optimus Prime
• 4.1.5  Derive
• 4.1.6  lhs2TeX
• 4.2  Analysis and Profiling
• 4.2.1  SourceGraph
• 4.2.2  HLint
• 4.2.3  hp2any
• 4.3  Development
• 4.3.1  Hoogle — Haskell API Search
• 4.3.2  HEAT: The Haskell Educational Advancement Tool
• 4.3.3  HaRe — The Haskell Refactorer
• 4.3.4  DarcsWatch
• 4.3.5  HSFFIG
• 5  Libraries
• 5.1  Cabal and Hackage
• 5.2  Haskell Platform
• 5.3  Auxiliary Libraries
• 5.3.1  hmatrix
• 5.3.2  hTensor
• 5.3.3  The Neon Library
• 5.3.4  leapseconds-announced
• 5.4  Parsing and Transforming
• 5.4.1  ChristmasTree
• 5.4.2  Utrecht Parser Combinator Library: New version
• 5.5  Mathematical Objects
• 5.5.1  dimensional: Statically checked physical dimensions
• 5.5.2  Halculon: units and physical constants database
• 5.5.3  Numeric prelude
• 5.5.4  AERN-Real and friends
• 5.5.5  logfloat
• 5.5.6  fad: Forward Automatic Differentiation
• 5.6  Data types and data structures
• 5.6.1  HList — a library for typed heterogeneous collections
• 5.6.2  bytestring-trie
• 5.7  Data processing
• 5.7.1  MultiSetRewrite
• 5.7.2  Graphalyze
• 5.8  Generic and Type-Level Programming
• 5.8.1  uniplate
• 5.8.2  Generic Programming at Utrecht University
• 5.8.3  Extensible and Modular Generics for the Masses (EMGM)
• 5.8.4  Optimizing generic functions
• 5.8.5  2LT: Two-Level Transformation
• 5.8.6  Data.Label — “atoms” for type-level programming
• 5.9  User interfaces
• 5.9.1  Gtk2Hs
• 5.9.2  HQK
• 5.10  Graphics
• 5.10.1  diagrams
• 5.10.2  LambdaCube
• 5.10.3  GPipe
• 5.10.4  ChalkBoard
• 5.10.5  graphviz
• 5.11  Music
• 5.11.1  Haskore revision
• 5.11.2  Euterpea
• 5.12  Web and XML programming
• 5.12.1  Haskell XML Toolbox
• 5.12.2  tagsoup
• 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  INblobs — Interaction Nets interpreter
• 6.2.4  Yahc
• 6.2.5  grolprep
• 6.3  Web Development
• 6.3.1  Holumbus Search Engine Framework
• 6.3.2  HCluster
• 6.3.3  JavaScript Monadic Writer
• 6.3.4  Haskell DOM Bindings
• 6.3.5  gitit
• 6.4  Data Management and Visualization
• 6.4.1  Pandoc
• 6.4.2  HaExcel — From Spreadsheets to Relational Databases and Back
• 6.4.3  SdfMetz
• 6.4.4  The Proxima 2.0 generic editor
• 6.5  Functional Reactive Programming
• 6.5.1  Functional Hybrid Modelling
• 6.5.2  Elerea
• 6.6  Audio and Graphics
• 6.6.1  Audio signal processing
• 6.6.2  easyVision
• 6.6.3  photoname
• 6.6.4  n-Dimensional Convex Decomposition of Polytops
• 6.6.5  DVD2473
• 6.6.6  Fl4m6e
• 6.6.7  GULCI
• 6.6.8  Reflex
• 6.7  Proof Assistants and Reasoning
• 6.7.1  Galculator
• 6.7.2  Saoithin: a 2nd-order proof assistant
• 6.7.3  Inference Services for Hybrid Logics
• 6.7.4  HTab
• 6.7.5  Sparkle
• 6.7.6  Haskabelle
• 6.8  Modeling and Analysis
• 6.8.1  iTasks
• 6.8.2  CSP-M animator and model checker
• 6.9  Hardware Design
• 6.9.1  ForSyDe
• 6.9.2  Kansas Lava
• 6.10  Natural Language Processing
• 6.10.1  NLP
• 6.10.2  GenI
• 6.10.3  Grammatical Framework
• 6.11  Others
• 6.11.1  IgorII
• 6.11.2  Roguestar
• 6.11.3  LQPL — A quantum programming language compiler and emulator
• 6.11.4  Yogurt
• 6.11.5  Dyna 2
• 6.11.6  Vintage BASIC
• 6.11.7  Bullet
• 6.11.8  arbtt
• 6.11.9  uacpid
• 7  Commercial Users
• 7.1  Well-Typed LLP
• 7.2  Credit Suisse Global Modeling and Analytics Group
• 7.3  Bluespec tools for design of complex chips
• 7.4  Galois, Inc.
• 7.5  IVU Traffic Technologies AG Rostering Group
• 7.6  Tupil
• 7.7  Aflexi Content Delivery Network (CDN)
• 7.8  Industrial Haskell Group
• 7.9  typLAB
• 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  Haskell at K.U.Leuven, Belgium
• 8.7  Haskell in Romania
• 8.8  fp-syd: Functional Programming in Sydney, Australia.
• 8.9  Functional Programming at Chalmers