- 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