- 1 Information Sources
- 1.1 Book: Programming in Haskell
- 1.2 The Monad.Reader
- 1.3 Haskell Wikibook
- 1.4 Monad Tutorial
- 1.5 Oleg’s Mini tutorials and assorted small projects
- 1.6 Haskell Cheat Sheet
- 1.7 The Happstack Tutorial
- 2 Implementations
- 2.1 The Glasgow Haskell Compiler
- 2.2 nhc98
- 2.3 The Helium compiler
- 2.4 UHC, Utrecht Haskell Compiler (previously: EHC, “Essential Haskell” compiler)
- 2.5 Hugs as Yhc Core Producer
- 2.6 Haskell frontend for the Clean compiler
- 2.7 SAPL, Simple Application Programming Language
- 2.8 The Reduceron
- 2.9 Platforms
- 2.9.1 Haskell in Gentoo Linux
- 2.9.2 Fedora Haskell SIG
- 2.9.3 GHC on OpenSPARC
- 3 Language
- 3.1 Extensions of Haskell
- 3.1.1 Haskell Server Pages (HSP)
- 3.1.2 GpH — Glasgow Parallel Haskell
- 3.1.3 Eden
- 3.1.4 XHaskell project
- 3.1.5 HaskellActor
- 3.1.6 HaskellJoin
- 3.2 Related Languages
- 3.2.1 Curry
- 3.2.2 Agda
- 3.2.3 Clean
- 3.2.4 Timber
- 3.3 Type System / Program Analysis
- 3.3.1 Free Theorems for Haskell
- 3.3.2 The Disciplined Disciple Compiler (DDC)
- 4 Tools
- 4.1 Scanning, Parsing, Transformations
- 4.1.1 Alex version 2
- 4.1.2 Happy
- 4.1.3 UUAG
- 4.2 Documentation
- 4.2.1 Haddock
- 4.2.2 lhs2TeX
- 4.3 Testing, Debugging, and Analysis
- 4.3.1 SmallCheck and Lazy SmallCheck
- 4.3.2 EasyCheck
- 4.3.3 checkers
- 4.3.4 Gast
- 4.3.5 Concurrent Haskell Debugger
- 4.3.6 Hpc
- 4.3.7 SourceGraph
- 4.3.8 HLint
- 4.3.9 hp2any
- 4.4 Development
- 4.4.1 Hoogle — Haskell API Search
- 4.4.2 HEAT: The Haskell Educational Advancement Tool
- 4.4.3 Haskell Mode Plugins for Vim
- 4.4.4 yi
- 4.4.5 HaRe — The Haskell Refactorer
- 4.4.6 DarcsWatch
- 4.4.7 cpphs
- 5 Libraries
- 5.1 Cabal and Hackage
- 5.2 Haskell Platform
- 5.3 Auxiliary Libraries
- 5.3.1 libmpd
- 5.3.2 hmatrix
- 5.3.3 The Neon Library
- 5.3.4 unamb
- 5.3.5 leapseconds-announced
- 5.4 Processing Haskell
- 5.4.1 hint
- 5.4.2 mueval
- 5.4.3 hscolour
- 5.5 Parsing and Transforming
- 5.5.1 HStringTemplate
- 5.5.2 CoreErlang
- 5.5.3 parse-dimacs: A DIMACS CNF Parser
- 5.5.4 InterpreterLib
- 5.5.5 KURE
- 5.5.6 Typed Transformations of Typed Abstract Syntax (TTTAS)
- 5.5.7 ChristmasTree (previously: GRead)
- 5.5.8 Utrecht Parser Combinator Library: Old version
- 5.5.9 Utrecht Parser Combinator Library: New version
- 5.6 Mathematical Objects
- 5.6.1 Halculon: units and physical constants database
- 5.6.2 Numeric prelude
- 5.6.3 vector-space
- 5.6.4 Nat
- 5.6.5 AERN-Real and friends
- 5.6.6 Haskell BLAS Bindings
- 5.6.7 logfloat
- 5.6.8 fad: Forward Automatic Differentiation
- 5.7 Data types and data structures
- 5.7.1 HList — a library for typed heterogeneous collections
- 5.7.2 Edison
- 5.7.3 MemoTrie
- 5.7.4 bytestring-trie
- 5.8 Data processing
- 5.8.1 The Haskell Cryptographic Library
- 5.8.2 The Haskell ASN.1 Library
- 5.8.3 MultiSetRewrite
- 5.8.4 Graphalyze
- 5.8.5 Takusen
- 5.9 Generic and Type-Level Programming
- 5.9.1 uniplate
- 5.9.2 Scrap Your Boilerplate (SYB)
- 5.9.3 Extensible and Modular Generics for the Masses (EMGM)
- 5.9.4 multirec: Generic programming with systems of recursive datatypes
- 5.9.5 Generic rewriting library for regular datatypes
- 5.9.6 2LT: Two-Level Transformation
- 5.9.7 Data.Label — “atoms” for type-level programming
- 5.10 User interfaces
- 5.10.1 Gtk2Hs
- 5.10.2 HQK
- 5.10.3 wxHaskell
- 5.10.4 Shellac
- 5.10.5 Haskeline
- 5.11 Graphics
- 5.11.1 diagrams
- 5.11.2 FieldTrip
- 5.11.3 LambdaCube
- 5.12 Music
- 5.12.1 Haskore revision
- 5.12.2 Euterpea
- 5.13 Web and XML programming
- 5.13.1 Haskell XML Toolbox
- 5.13.2 HaXml
- 5.13.3 tagsoup
- 5.14 System
- 5.14.1 hinotify
- 5.14.2 hlibev
- 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 Lambda Shell
- 6.2.4 INblobs — Interaction Nets interpreter
- 6.2.5 Soccer-Fun
- 6.3 Web Development
- 6.3.1 Holumbus Search Engine Framework
- 6.3.2 Top Writer
- 6.3.3 Bamboo blog engine (previously: Panda) / Hack Webserver interface
- 6.3.4 InputYourData.com
- 6.3.5 Hircules
- 6.3.6 HCluster
- 6.3.7 JavaScript Monadic Writer
- 6.3.8 Haskell DOM Bindings
- 6.4 Data Management and Visualization
- 6.4.1 Pandoc
- 6.4.2 tiddlyisar
- 6.4.3 HaExcel — From Spreadsheets to Relational Databases and Back
- 6.4.4 Between Types and Tables
- 6.4.5 SdfMetz
- 6.4.6 The Proxima 2.0 generic editor
- 6.5 Functional Reactive Programming
- 6.5.1 Grapefruit
- 6.5.2 Reactive
- 6.5.3 Functional Hybrid Modeling
- 6.5.4 Elerea
- 6.6 Audio and Graphics
- 6.6.1 Audio signal processing
- 6.6.2 hsProcMusic
- 6.6.3 easyVision
- 6.6.4 photoname
- 6.6.5 Simplex-Based Spatial Operations
- 6.6.6 n-Dimensional Convex Decomposition of Polytops
- 6.6.7 DVD2473
- 6.7 Proof Assistants and Reasoning
- 6.7.1 Galculator
- 6.7.2 funsat: DPLL-style Satisfiability Solver
- 6.7.3 Saoithin: a 2nd-order proof assistant
- 6.7.4 Inference Services for Hybrid Logics
- 6.7.5 HyLoRes
- 6.7.6 HTab
- 6.7.7 HGen
- 6.7.8 Sparkle
- 6.7.9 Haskabelle
- 6.8 Modeling and Analysis
- 6.8.1 Streaming Component Combinators
- 6.8.2 Raskell
- 6.8.3 iTasks
- 6.8.4 CSP-M Tools at University of Düsseldorf
- 6.9 Hardware Design
- 6.9.1 ForSyDe
- 6.9.2 Lava
- 6.9.3 Wired
- 6.9.4 Oread
- 6.10 Natural Language Processing
- 6.10.1 NLP
- 6.10.2 GenI
- 6.10.3 Grammatical Framework
- 6.11 Inductive Programming
- 6.11.1 Inductive Programming
- 6.11.2 IgorII
- 6.12 Others
- 6.12.1 Bioinformatics tools
- 6.12.2 Roguestar
- 6.12.3 Hpysics
- 6.12.4 hledger
- 6.12.5 LQPL — A quantum programming language compiler and emulator
- 6.12.6 Yogurt
- 6.12.7 Dyna 2
- 7 Commercial Users
- 7.1 Well-Typed LLP
- 7.2 SeeReason Partners, LLC
- 7.3 Credit Suisse Global Modeling and Analytics Group
- 7.4 Bluespec tools for design of complex chips
- 7.5 Galois, Inc.
- 7.6 IVU Traffic Technologies AG Rostering Group
- 7.7 Tupil
- 7.8 Aflexi Content Delivery Network (CDN)
- 7.9 Industrial Haskell Group
- 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 SCIence project
- 8.7 Haskell at K.U.Leuven, Belgium
- 8.8 Haskell in Romania
- 8.9 Assorted Small Portland State University Haskell Bits
- 8.10 fp-syd: Functional Programming in Sydney, Australia.