• 1  Community
• 1.1  Haskellers
• 2  Books, Articles, Tutorials
• 2.1  The Monad.Reader
• 2.2  Oleg’s Mini Tutorials and Assorted Small Projects
• 2.3  School of Haskell
• 2.4  Agda Tutorial
• 3  Implementations
• 3.1  The Glasgow Haskell Compiler
• 3.2  Ajhc Haskell Compiler
• 3.3  The Helium Compiler
• 3.4  UHC, Utrecht Haskell Compiler
• 3.5  Specific Platforms
• 3.5.1  Haskell on FreeBSD
• 3.5.2  Debian Haskell Group
• 3.5.3  Fedora Haskell SIG
• 4  Related Languages and Language Design
• 4.1  Agda
• 4.2  MiniAgda
• 4.3  Disciple
• 4.4  Ermine
• 5  Haskell and …
• 5.1  Haskell and Parallelism
• 5.1.1  Eden
• 5.1.2  speculation
• 5.1.3  Wakarusa
• 5.2  Haskell and the Web
• 5.2.1  WAI
• 5.2.2  Warp
• 5.2.3  Happstack
• 5.2.4  Mighttpd2 — Yet another Web Server
• 5.2.5  Yesod
• 5.2.6  Snap Framework
• 5.2.7  MFlow
• 5.2.8  Scotty
• 5.2.9  Sunroof
• 5.2.10  Blank Canvas
• 5.2.11  PureScript
• 5.3  Haskell and Compiler Writing
• 5.3.1  MateVM
• 5.3.2  UUAG
• 5.3.3  LQPL — A Quantum Programming Language Compiler and Emulator
• 5.3.4  free — Free Monads
• 5.3.5  bound — Making De Bruijn Succ Less
• 6  Development Tools
• 6.1  Environments
• 6.1.1  Haskell IDE From FP Complete
• 6.1.2  EclipseFP
• 6.1.3  ghc-mod — Happy Haskell Programming
• 6.1.4  HaRe — The Haskell Refactorer
• 6.1.5  ghc-exactprint
• 6.1.6  IHaskell: Haskell for Interactive Computing
• 6.2  Code Management
• 6.2.1  Darcs
• 6.2.2  cab — A Maintenance Command of Haskell Cabal Packages
• 6.3  Interfacing to other Languages
• 6.3.1  java-bridge
• 6.3.2  fficxx
• 6.4  Deployment
• 6.4.1  Cabal and Hackage
• 6.4.2  Stackage: the Library Dependency Solution
• 6.4.3  Haskell Cloud
• 6.5  Others
• 6.5.1  ghc-heap-view
• 6.5.2  ghc-vis
• 6.5.3  Hat — the Haskell Tracer
• 6.5.4  Tasty
• 6.5.4.1  What’s new since the last HCAR?
• 6.5.5  Automatic type inference from JSON
• 6.5.6  Exference
• 7  Libraries, Applications, Projects
• 7.1  Language Features
• 7.1.1  Conduit
• 7.1.2  lens
• 7.1.3  folds
• 7.1.4  machines
• 7.1.5  exceptions
• 7.1.6  Faking even more dependent types!
• 7.1.7  Type checking units-of-measure
• 7.1.8  GHC type-checker plugin for kind Nat
• 7.1.9  Dependent Haskell
• 7.2  Education
• 7.2.1  Exercism: crowd-sourced code reviews on daily practice problems
• 7.2.2  Holmes, Plagiarism Detection for Haskell
• 7.2.3  Interactive Domain Reasoners
• 7.3  Parsing and Transforming
• 7.3.1  epub-metadata
• 7.3.2  Utrecht Parser Combinator Library: uu-parsinglib
• 7.3.3  HERMIT
• 7.3.4  Generalized Algebraic Dynamic Programming
• 7.3.5  parsers
• 7.3.6  trifecta
• 7.4  Mathematics
• 7.4.1  Rlang-QQ
• 7.4.2  order-statistics
• 7.4.3  linear
• 7.4.4  algebra
• 7.4.5  semigroups and semigroupoids
• 7.4.6  Arithmetics packages (Edward Kmett)
• 7.4.7  ad
• 7.4.8  integration
• 7.4.9  contravariant
• 7.4.10  categories
• 7.4.11  bifunctors
• 7.4.12  profunctors
• 7.4.13  comonad
• 7.4.14  recursion-schemes
• 7.4.15  kan-extensions
• 7.5  Numerical Packages and High Performance Computing
• 7.5.1  arb-fft
• 7.5.2  hblas
• 7.5.3  HROOT
• 7.5.4  Numerical
• 7.6  Data Types and Data Structures
• 7.6.1  constraints
• 7.6.2  HList — A Library for Typed Heterogeneous Collections
• 7.6.3  reflection
• 7.6.4  tag-bits
• 7.6.5  hyperloglog
• 7.6.6  hybrid-vectors
• 7.6.7  lca
• 7.6.8  concurrent-supply
• 7.6.9  heaps
• 7.6.10  sparse
• 7.6.11  compressed
• 7.6.12  charset
• 7.6.13  Convenience types (Edward Kmett)
• 7.7  Databases and Related Tools
• 7.7.1  tables
• 7.7.2  Persistent
• 7.7.3  Groundhog
• 7.7.4  Opaleye
• 7.7.5  HLINQ - LINQ for Haskell
• 7.8  User Interfaces
• 7.8.1  HsQML
• 7.8.2  Gtk2Hs
• 7.8.3  LGtk: Lens GUI Toolkit
• 7.8.4  wxHaskell
• 7.8.5  threepenny-gui
• 7.8.6  reactive-banana
• 7.8.7  fltkhs - GUI bindings to the FLTK library
• 7.9  Graphics and Audio
• 7.9.1  diagrams
• 7.9.2  Chordify
• 7.9.3  csound-expression
• 7.9.4  Glome
• 7.10  Text and Markup Languages
• 7.10.1  epub-tools (Command-line epub Utilities)
• 7.10.2  lens-aeson
• 7.10.3  lhs2TeX
• 7.10.4  pulp
• 7.10.5  hyphenation
• 7.11  Natural Language Processing
• 7.11.1  NLP
• 7.11.2  GenI
• 7.12  Bioinformatics
• 7.12.1  ADPfusion
• 7.12.2  Ab-initio electronic structure in Haskell
• 7.12.3  Semi-Classical Molecular Dynamics in Haskell
• 7.12.4  Biohaskell
• 7.12.5  arte-ephys: Real-time electrophysiology
• 7.13  Embedding DSLs for Low-Level Processing
• 7.13.1  CλaSH
• 7.13.2  Feldspar
• 7.13.3  Kansas Lava
• 7.14  Games
• 7.14.1  The Amoeba-World game project
• 7.14.2  EtaMOO
• 7.14.3  scroll
• 7.14.4  Nomyx
• 7.15  Others
• 7.15.1  General framework for multi-agent systems
• 7.15.2  ersatz
• 7.15.3  leapseconds-announced
• 7.15.4  arbtt
• 7.15.5  Hoodle
• 7.15.6  Reffit
• 7.15.7  Laborantin
• 7.15.8  tempuhs
• 7.15.9  tttool
• 7.15.10  Transient
• 7.15.11  gipeda
• 7.15.12  Octohat (Stack Builders)
• 7.15.13  git-annex
• 7.15.14  openssh-github-keys (Stack Builders)
• 7.15.15  propellor
• 7.15.16  dimensional: Statically Checked Physical Dimensions
• 8  Commercial Users
• 8.1  Well-Typed LLP
• 8.2  Bluespec Tools for Design of Complex Chips and Hardware Accelerators
• 8.3  Haskell in the industry in Munich
• 8.4  Industrial Haskell Group
• 8.5  Better
• 8.6  Keera Studios LTD
• 8.7  plaimi
• 8.8  Stack Builders
• 8.9  Optimal Computational Algorithms, Inc.
• 9  Research and User Groups
• 9.1  Haskell at Eötvös Lorand University (ELTE), Budapest
• 9.2  Artificial Intelligence and Software Technology at Goethe-University Frankfurt
• 9.3  Functional Programming at the University of Kent
• 9.4  Haskell at KU Leuven, Belgium
• 9.5  fp-syd: Functional Programming in Sydney, Australia
• 9.6  Functional Programming at Chalmers
• 9.7  Functional Programming at KU
• 9.8  Regensburg Haskell Meetup
• 9.9  Haskell in the Munich Area
• 9.10  HaskellMN