• 1  Community
  • 1.1  Haskellers
  • 1.2  Haskell Wikibook
  • 1.3  Cartesian Closed Comic
  • 2  Articles/Tutorials
  • 2.1  The Monad.Reader
  • 2.2  Oleg’s Mini Tutorials and Assorted Small Projects
  • 2.3  Haskell Cheat Sheet
  • 2.4  Practice of Functional Programming
  • 3  Implementations
  • 3.1  Haskell Platform
  • 3.2  The Glasgow Haskell Compiler
  • 3.3  LHC
  • 3.4  The Helium Compiler
  • 3.5  UHC, Utrecht Haskell Compiler
  • 3.6  Exchanging Sources between Clean and Haskell
  • 3.7  The Reduceron
  • 3.8  Specific Platforms
  • 3.8.1  Debian Haskell Group
  • 3.8.2  Haskell in Gentoo Linux
  • 3.8.3  Fedora Haskell SIG
  • 4  Related Languages
  • 4.1  Agda
  • 4.2  MiniAgda
  • 4.3  Idris
  • 4.4  Clean
  • 4.5  Timber
  • 4.6  Disciple
  • 5  Haskell and …
  • 5.1  Haskell and Parallelism
  • 5.1.1  TwilightSTM
  • 5.1.2  Haskell-MPI
  • 5.1.3  Eden
  • 5.2  Haskell and the Web
  • 5.2.1  GHCJS: Haskell to Javascript compiler
  • 5.2.2  Hawk
  • 5.2.3  WAI
  • 5.2.4  Holumbus Search Engine Framework
  • 5.2.5  gitit
  • 5.2.6  Happstack
  • 5.2.7  Mighttpd — Yet another Web Server
  • 5.2.8  Yesod
  • 5.2.9  Lemmachine
  • 5.2.10  Snap Framework
  • 5.3  Haskell and Games
  • 5.3.1  Nikki and the Robots
  • 5.3.2  Freekick2
  • 5.3.3  Dungeons of Wor
  • 5.4  Haskell and Compiler Writing
  • 5.4.1  UUAG
  • 5.4.2  AspectAG
  • 5.4.3  Berp
  • 5.4.4  LQPL — A Quantum Programming Language Compiler and Emulator
  • 6  Development Tools
  • 6.1  Environments
  • 6.1.1  EclipseFP
  • 6.1.2  ghc-mod — Happy Haskell Programming on Emacs
  • 6.1.3  Leksah — Toward a Haskell IDE
  • 6.1.4  HEAT: The Haskell Educational Advancement Tool
  • 6.1.5  HaRe — The Haskell Refactorer
  • 6.2  Documentation
  • 6.2.1  Haddock
  • 6.2.2  Hoogle
  • 6.2.3  lhs2TeX
  • 6.3  Testing and Analysis
  • 6.3.1  HTF: A Test Framework for Haskell
  • 6.3.2  SourceGraph
  • 6.3.3  HLint
  • 6.3.4  A Haskell Source File Scanning Tool
  • 6.4  Boilerplate Removal
  • 6.4.1  A Generic Deriving Mechanism for Haskell
  • 6.4.2  Derive
  • 6.4.3  Agata
  • 6.5  Code Management
  • 6.5.1  Darcs
  • 6.5.2  ipatch
  • 6.5.3  DarcsWatch
  • 6.5.4  DPM — Darcs Patch Manager
  • 6.6  Interfacing to other Languages
  • 6.6.1  HSFFIG
  • 6.6.2  Hubris
  • 6.7  Deployment
  • 6.7.1  Cabal and Hackage
  • 6.7.2  Capri
  • 6.7.3  Shaker
  • 7  Google Summer of Code 2010
  • 7.1  Immix Garbage Collector on GHC
  • 7.2  Improvements to Cabal’s Test Support
  • 7.3  A High Performance HTML Generation Library
  • 7.4  Hackage 2.0
  • 7.5  Improving Darcs’ Network Performance
  • 8  Libraries
  • 8.1  Processing Haskell
  • 8.1.1  The Neon Library
  • 8.1.2  mueval
  • 8.2  Parsing and Transforming
  • 8.2.1  The grammar-combinators Parser Library
  • 8.2.2  language-python
  • 8.2.3  Loker
  • 8.2.4  ChristmasTree
  • 8.2.5  First Class Syntax Macros
  • 8.2.6  Utrecht Parser Combinator Library: uu-parsinglib
  • 8.2.7  Regular Expression Matching with Partial Derivatives
  • 8.3  Mathematical Objects
  • 8.3.1  AERN-Real and Friends
  • 8.3.2  hmatrix
  • 8.4  Data Types and Data Structures
  • 8.4.1  HList — A Library for Typed Heterogeneous Collections
  • 8.4.2  Verified Priority Queues
  • 8.4.3  Graphalyze
  • 8.5  Generic and Type-Level Programming
  • 8.5.1  FlexiWrap
  • 8.5.2  uniplate
  • 8.5.3  Generic Programming at Utrecht University
  • 8.5.4  Optimizing Generic Functions
  • 8.6  User Interfaces
  • 8.6.1  Gtk2Hs
  • 8.6.2  Haskeline
  • 8.6.3  CmdArgs
  • 8.7  Graphics
  • 8.7.1  plot/plot-gtk
  • 8.7.2  diagrams
  • 8.7.3  GPipe
  • 8.7.4  ChalkBoard
  • 8.7.5  graphviz
  • 8.8  Text and Markup Languages
  • 8.8.1  HaTeX
  • 8.8.2  Haskell XML Toolbox
  • 8.8.3  tagsoup
  • 8.8.4  BlazeHtml
  • 8.8.5  Bravo
  • 9  Applications and Projects
  • 9.1  Education
  • 9.1.1  Holmes, Plagiarism Detection for Haskell
  • 9.1.2  Interactive Domain Reasoners (previously: Exercise Assistants)
  • 9.1.3  Yahc
  • 9.1.4  Sifflet
  • 9.2  Data Management and Visualization
  • 9.2.1  HaskellDB
  • 9.2.2  lhae
  • 9.2.3  Pandoc
  • 9.2.4  Ferry (Database-Supported Program Execution)
  • 9.2.5  Sirenial
  • 9.2.6  The Proxima 2.0 Generic Editor
  • 9.3  Functional Reactive Programming
  • 9.3.1  Functional Hybrid Modelling
  • 9.3.2  Elerea
  • 9.4  Audio and Graphics
  • 9.4.1  Audio Signal Processing
  • 9.4.2  easyVision
  • 9.4.3  n-Dimensional Volume Calculation for Non-Convex Polytops
  • 9.4.4  Hemkay
  • 9.5  Hardware Design
  • 9.5.1  CλaSH
  • 9.5.2  ForSyDe
  • 9.5.3  Kansas Lava
  • 9.6  Proof Assistants and Reasoning
  • 9.6.1  Zeno — Inductive Theorem Proving for Haskell Programs
  • 9.6.2  HTab
  • 9.6.3  Plastic
  • 9.6.4  Free Theorems for Haskell
  • 9.6.5  Streaming Component Combinators
  • 9.6.6  CSP-M Animator and Model Checker
  • 9.7  Natural Language Processing
  • 9.7.1  NLP
  • 9.7.2  GenI
  • 9.7.3  Grammatical Framework
  • 9.8  Others
  • 9.8.1  xmonad
  • 9.8.2  Bluetile
  • 9.8.3  Biohaskell
  • 9.8.4  IgorII
  • 9.8.5  arbtt
  • 9.8.6  cltw (Twitter API Command-Line Utility)
  • 10  Commercial Users
  • 10.1  Well-Typed LLP
  • 10.2  Bluespec Tools for Design of Complex Chips and Hardware Accelerators
  • 10.3  Industrial Haskell Group
  • 10.4  factis research GmbH
  • 10.5  Tsuru Capital
  • 10.6  Oblomov Systems
  • 11  Research and User Groups
  • 11.1  Artificial Intelligence and Software Technology at Goethe-University Frankfurt
  • 11.2  Functional Programming at the University of Kent
  • 11.3  Formal Methods at DFKI and University Bremen
  • 11.4  Haskell at Universiteit Gent, Belgium
  • 11.5  fp-syd: Functional Programming in Sydney, Australia
  • 11.6  Functional Programming at Chalmers
  • 11.7  Dutch Haskell User Group
  • 11.8  San Simon Haskell Community
  • 11.9  Functional Programming at KU
  • 11.10  Ghent Functional Programming Group