- 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 Agda Tutorial
- 2.4 School of Haskell
- 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.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 Sunroof
- 5.2.8 MFlow
- 5.2.9 Scotty
- 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 IHaskell: Haskell for Interactive Computing
- 6.2 Code Management
- 6.2.1 Darcs
- 6.2.2 DarcsWatch
- 6.2.3 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 lhs2TeX
- 6.5.2 ghc-heap-view
- 6.5.3 ghc-vis
- 6.5.4 Hat — the Haskell Tracer
- 6.5.5 Tasty
- 6.5.5.1 What’s new since the last HCAR?
- 6.5.6 Automatic type inference from JSON
- 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 tables
- 7.1.7 Faking even more dependent types!
- 7.1.8 Type checking units-of-measure
- 7.1.9 Dependent Haskell
- 7.2 Education
- 7.2.1 Exercism: crowd-sourced code reviews on daily practice problems
- 7.2.2 Talentbuddy
- 7.2.3 Holmes, Plagiarism Detection for Haskell
- 7.2.4 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 Grammar Products, Set Grammars, and Automatic Outside Grammars
- 7.3.4 HERMIT
- 7.3.5 parsers
- 7.3.6 trifecta
- 7.4 Generic and Type-Level Programming
- 7.4.1 Optimising Generic Functions
- 7.4.2 constraints
- 7.5 Mathematics
- 7.5.1 Rlang-QQ
- 7.5.2 order-statistics
- 7.5.3 Eliminating Redundancies in Linear Systems
- 7.5.4 linear
- 7.5.5 algebra
- 7.5.6 semigroups and semigroupoids
- 7.5.7 Arithmetics packages (Edward Kmett)
- 7.5.8 ad
- 7.5.9 integration
- 7.5.10 categories
- 7.5.11 contravariant
- 7.5.12 bifunctors
- 7.5.13 profunctors
- 7.5.14 comonad
- 7.5.15 recursion-schemes
- 7.5.16 kan-extensions
- 7.5.17 arb-fft
- 7.5.18 hblas
- 7.5.19 HROOT
- 7.5.20 Numerical
- 7.6 Data Types and Data Structures
- 7.6.1 HList — A Library for Typed Heterogeneous Collections
- 7.6.2 Persistent
- 7.6.3 Groundhog
- 7.6.4 reflection
- 7.6.5 tag-bits
- 7.6.6 hyperloglog
- 7.6.7 concurrent-supply
- 7.6.8 hybrid-vectors
- 7.6.9 lca
- 7.6.10 heaps
- 7.6.11 sparse
- 7.6.12 compressed
- 7.6.13 charset
- 7.6.14 Convenience types (Edward Kmett)
- 7.7 User Interfaces
- 7.7.1 HsQML
- 7.7.2 LGtk: Lens GUI Toolkit
- 7.7.3 Gtk2Hs
- 7.7.4 Haskell-EFL binding
- 7.7.5 wxHaskell
- 7.7.6 threepenny-gui
- 7.7.7 reactive-banana
- 7.8 Graphics and Audio
- 7.8.1 diagrams
- 7.8.2 csound-expression
- 7.8.3 Chordify
- 7.8.4 Glome
- 7.9 Text and Markup Languages
- 7.9.1 epub-tools (Command-line epub Utilities)
- 7.9.2 lens-aeson
- 7.9.3 hyphenation
- 7.10 Natural Language Processing
- 7.10.1 NLP
- 7.10.2 GenI
- 7.11 Bioinformatics
- 7.11.1 ADPfusion
- 7.11.2 Ab-initio electronic structure in Haskell
- 7.11.3 Semi-Classical Molecular Dynamics in Haskell
- 7.11.4 Biohaskell
- 7.11.5 arte-ephys: Real-time electrophysiology
- 7.12 Embedding DSLs for Low-Level Processing
- 7.12.1 Feldspar
- 7.12.2 Kansas Lava
- 7.13 Others
- 7.13.1 General framework for multi-agent systems
- 7.13.2 ersatz
- 7.13.3 arbtt
- 7.13.4 Hoodle
- 7.13.5 Reffit
- 7.13.6 Laborantin
- 7.13.7 The Amoeba-World game project
- 7.13.8 Nomyx
- 7.13.9 tempuhs
- 8 Commercial Users
- 8.1 Well-Typed LLP
- 8.2 Bluespec Tools for Design of Complex Chips and Hardware Accelerators
- 8.3 Industrial Haskell Group
- 8.4 Barclays Capital
- 8.5 Oblomov Systems
- 8.6 OpenBrain Ltd.
- 8.7 Pariah Reputation System
- 8.8 Haskell in the industry in Munich
- 8.9 Better
- 8.10 Keera Studios LTD
- 8.11 plaimi
- 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 Formal Methods at DFKI and University Bremen and University Magdeburg
- 9.5 Haskell in Romania
- 9.6 fp-syd: Functional Programming in Sydney, Australia
- 9.7 Functional Programming at Chalmers
- 9.8 Functional Programming at KU
- 9.9 Regensburg Haskell Meetup
- 9.10 Haskell in the Munich Area
- 9.11 HaskellMN