• 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  Practice of Functional Programming
  • 1.6  Cartesian Closed Comic
  • 2  Implementations
  • 2.1  The Glasgow Haskell Compiler
  • 2.2  LHC
  • 2.3  The Helium compiler
  • 2.4  UHC, Utrecht Haskell Compiler
  • 2.5  Haskell front end for the Clean compiler
  • 2.6  The Reduceron
  • 2.7  Platforms
  • 2.7.1  Haskell in Gentoo Linux
  • 2.7.2  Fedora Haskell SIG
  • 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  Idris
  • 3.2.4  Clean
  • 3.2.5  Timber
  • 3.2.6  Ur/Web
  • 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  Agata
  • 4.1.7  lhs2TeX
  • 4.2  Analysis and Profiling
  • 4.2.1  HTF: a test framework for Haskell
  • 4.2.2  SourceGraph
  • 4.2.3  HLint
  • 4.2.4  A Haskell source file scanning tool
  • 4.2.5  hp2any
  • 4.3  Development
  • 4.3.1  Leksah — Toward a Haskell IDE
  • 4.3.2  HEAT: The Haskell Educational Advancement Tool
  • 4.3.3  HaRe — The Haskell Refactorer
  • 4.3.4  DarcsWatch
  • 4.3.5  DPM — Darcs Patch Manager
  • 4.3.6  HSFFIG
  • 4.3.7  Hubris
  • 5  Libraries
  • 5.1  Cabal and Hackage
  • 5.2  Haskell Platform
  • 5.3  Auxiliary Libraries
  • 5.3.1  hmatrix
  • 5.3.2  The Neon Library
  • 5.3.3  mueval
  • 5.4  Parsing and Transforming
  • 5.4.1  ChristmasTree
  • 5.4.2  First Class Syntax Macros
  • 5.4.3  Utrecht Parser Combinator Library: New version
  • 5.4.4  Regular Expression Matching with Partial Derivatives
  • 5.5  Mathematical Objects
  • 5.5.1  Halculon: units and physical constants database
  • 5.5.2  AERN-Real and friends
  • 5.5.3  logfloat
  • 5.6  Data types and data structures
  • 5.6.1  HList — a library for typed heterogeneous collections
  • 5.6.2  Verified priority queues
  • 5.6.3  bytestring-trie
  • 5.7  Data processing
  • 5.7.1  Graphalyze
  • 5.7.2  Bravo
  • 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.9  User interfaces
  • 5.9.1  Gtk2Hs
  • 5.9.2  CmdArgs
  • 5.10  Graphics and Music
  • 5.10.1  LambdaCube
  • 5.10.2  diagrams
  • 5.10.3  GPipe
  • 5.10.4  ChalkBoard
  • 5.10.5  graphviz
  • 5.10.6  Euterpea
  • 5.11  Web and XML programming
  • 5.11.1  Haskell XML Toolbox
  • 5.11.2  Hawk
  • 5.11.3  tagsoup
  • 5.11.4  BlazeHtml
  • 5.11.5  WAI
  • 6  Applications and Projects
  • 6.1  For the Masses
  • 6.1.1  Darcs
  • 6.1.2  xmonad
  • 6.1.3  Bluetile
  • 6.2  Education
  • 6.2.1  Exercise Assistants
  • 6.2.2  Holmes, plagiarism detection for Haskell
  • 6.2.3  Yahc
  • 6.2.4  grolprep
  • 6.2.5  Sifflet
  • 6.3  Web Development
  • 6.3.1  Holumbus Search Engine Framework
  • 6.3.2  HCluster
  • 6.3.3  gitit
  • 6.3.4  Happstack
  • 6.3.5  Mighttpd — yet another Web server
  • 6.3.6  Yesod
  • 6.3.7  Lemmachine
  • 6.3.8  Snap
  • 6.4  Data Management and Visualization
  • 6.4.1  Pandoc
  • 6.4.2  HaExcel — From Spreadsheets to Relational Databases and Back
  • 6.4.3  Ferry (Database-Supported Program Execution)
  • 6.4.4  Sirenial
  • 6.4.5  The Proxima 2.0 generic editor
  • 6.4.6  iTasks
  • 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  n-Dimensional Volume Calculation for Non-Convex Polytops
  • 6.6.4  Fl4m6e
  • 6.6.5  GULCI
  • 6.6.6  Reflex
  • 6.6.7  Citten
  • 6.6.8  Hemkay
  • 6.7  Proof Assistants and Reasoning
  • 6.7.1  HTab
  • 6.7.2  Haskabelle
  • 6.7.3  Plastic
  • 6.7.4  Free Theorems for Haskell
  • 6.7.5  CSP-M animator and model checker
  • 6.8  Hardware Design
  • 6.8.1  ForSyDe
  • 6.8.2  Kansas Lava
  • 6.9  Natural Language Processing
  • 6.9.1  NLP
  • 6.9.2  GenI
  • 6.9.3  Grammatical Framework
  • 6.10  Bioinformatics
  • 6.10.1  Bein
  • 6.10.2  Biohaskell (previously: Bioinformatics tools)
  • 6.11  Games
  • 6.11.1  Freekick2
  • 6.11.2  Dungeons of Wor
  • 6.12  Programming Languages
  • 6.12.1  Vintage BASIC
  • 6.12.2  LQPL — A quantum programming language compiler and emulator
  • 6.13  Others
  • 6.13.1  IgorII
  • 6.13.2  Yogurt
  • 6.13.3  Bullet
  • 6.13.4  arbtt
  • 6.13.5  uacpid
  • 6.13.6  cltw (Twitter API command-line utility)
  • 7  Commercial Users
  • 7.1  Well-Typed LLP
  • 7.2  Bluespec tools for design of complex chips and hardware accelerators
  • 7.3  Industrial Haskell Group
  • 7.4  typLAB
  • 7.5  factis research GmbH
  • 7.6  Tsuru Capital
  • 7.7  Oblomov Systems
  • 8  Research and User Groups
  • 8.1  Artificial Intelligence and Software Technology at Goethe-University Frankfurt
  • 8.2  Functional Programming at the University of Kent
  • 8.3  Formal Methods at DFKI Bremen and University of Bremen
  • 8.4  Haskell at K.U.Leuven, Belgium
  • 8.5  Functional Programming at Chalmers
  • 8.6  Dutch Haskell User Group
  • 8.7  San Simon Haskell Community
  • 8.8  Functional Programming at KU
  • 8.9  Ghent Functional Programming Group