• 1  Community
• 1.1  Haskell’ — Haskell 2020
• 1.2  Haskellers
• 2  Books, Articles, Tutorials
• 2.1  Oleg’s Mini Tutorials and Assorted Small Projects
• 2.2  School of Haskell
• 2.3  Learning Haskell
• 2.4  Programming in Haskell - 2nd Edition
• 2.5  Haskell Programming from first principles, a book for all
• 2.6  Haskell MOOC
• 3  Implementations
• 3.1  The Glasgow Haskell Compiler
• 3.1.1  Libraries, source language, and type system
• 3.1.1.1  Compiler
• 3.1.1.2  Runtime system
• 3.2  The Helium Compiler
• 3.3  Specific Platforms
• 3.3.1  Fedora Haskell SIG
• 3.3.2  Debian Haskell Group
• 3.4  Related Languages and Language Design
• 3.4.1  hs-to-coq
• 3.4.2  Agda
• 3.4.3  Disciple
• 4  Libraries, Tools, Applications, Projects
• 4.1  Language Extensions and Related Projects
• 4.1.1  Dependent Haskell
• 4.1.2  generics-sop
• 4.1.3  Supermonads
• 4.1.4  Reifying type families
• 4.2  Build Tools and Related Projects
• 4.2.1  Cabal
• 4.2.2  The Stack build tool
• 4.2.3  Stackage: the Library Dependency Solution
• 4.2.4  Stackgo
• 4.2.5  pier
• 4.2.6  Packcheck: Universal CI testing for Haskell packages
• 4.2.7  hsinstall
• 4.2.8  yesod-rest
• 4.2.9  Haskell Cloud
• 4.3  Repository Management
• 4.3.1  Darcs
• 4.3.2  git-annex
• 4.4  Debugging and Profiling
• 4.4.1  Hoed – The Lightweight Algorithmic Debugger for Haskell
• 4.4.1.1  Using Hoed
• 4.4.2  ghc-vis
• 4.4.3  ghc-heap-view
• 4.4.4  Hat — the Haskell Tracer
• 4.5  Testing
• 4.5.1  inspection-testing
• 4.5.2  LeanCheck
• 4.5.3  Extrapolate
• 4.5.4  Speculate
• 4.5.5  TorXakis
• 4.6  Development Tools and Editors
• 4.6.1  Haskell for Mac
• 4.6.2  haskell-ide-engine, a project for unifying IDE functionality
• 4.6.3  HyperHaskell – The strongly hyped Haskell interpreter
• 4.6.4  CodeWorld
• 4.6.5  Haskell Indexer
• 4.6.6  Brittany
• 4.6.7  IHaskell
• 4.6.8  Doc Browser
• 4.7  Formal Systems and Reasoners
• 4.7.1  The Incredible Proof Machine
• 4.7.2  Exference
• 4.8  Education
• 4.8.1  Holmes, Plagiarism Detection for Haskell
• 4.8.2  Interactive Domain Reasoners
• 4.8.3  Basic Haskell Cheat Sheet
• 4.8.4  DSLsofMath
• 4.8.5  Learn You A Physics
• 4.9  Text and Markup
• 4.9.1  lhs2TeX
• 4.9.2  Fast Unicode Normalization
• 4.9.3  Automatic type inference from JSON
• 4.9.4  Ginger
• 4.10  Web
• 4.10.1  WAI
• 4.10.2  Warp
• 4.10.3  Yesod
• 4.10.4  Snap Framework
• 4.10.5  MFlow
• 4.10.6  PureScript
• 4.10.7  Sprinkles
• 4.10.8  nginx-haskell-module
• 4.10.9  Template Toolkit
• 4.11  Databases
• 4.11.1  Persistent
• 4.11.2  Squeal
• 4.11.3  Haskell Relational Record
• 4.11.4  YeshQL
• 4.11.5  DBFunctor: Functional Data Management
• 4.12  Data Structures, Data Types, Algorithms
• 4.12.1  Algebraic graphs
• 4.12.2  JudyGraph
• 4.12.3  Conduit
• 4.12.4  Transactional Trie
• 4.12.5  Concurrent Trie
• 4.12.6  Random access zipper
• 4.12.6.1  Future work
• 4.12.7  Generic random generators
• 4.12.7.1  Description
• 4.12.7.2  Status
• 4.12.8  ADPfusion
• 4.12.9  Generalized Algebraic Dynamic Programming
• 4.12.10  Applications of Algebraic Dynamic Programming
• 4.12.11  Earley
• 4.12.12  Type Providers
• 4.12.13  Transient
• 4.12.14  Streamly: Streaming Concurrently
• 4.12.15  Streaming Performance Benchmarks
• 4.12.16  proto-lens
• 4.13  Parallelism and Concurrency
• 4.13.1  Eden
• 4.13.2  Auto-parallelizing Pure Functional Language System
• 4.13.3  concurrent-output
• 4.13.4  Deja Fu: Concurrency Testing
• 4.14  Systems programming
• 4.14.1  Haskell for Mobile development
• 4.14.2  haskus-system
• 4.14.3  Haskino
• 4.14.4  STM32-Zombie
• 4.15  Mathematics, Simulations and High Performance Computing
• 4.15.1  sparse-linear-algebra
• 4.15.2  aivika
• 4.15.3  General Decimal Arithmetic
• 4.16  Graphical User Interfaces
• 4.16.1  wxHaskell
• 4.16.2  threepenny-gui
• 4.17  FRP
• 4.17.1  Yampa
• 4.17.2  reactive-banana
• 4.17.3  Functional Reactive Agent-Based Simulation
• 4.18  Graphics and Audio
• 4.18.1  diagrams
• 4.18.2  csound-expression
• 4.18.3  Chordify
• 4.18.4  The Arpeggigon
• 4.18.5  Gifcurry
• 4.18.6  Movie Monad
• 4.19  Games
• 4.19.1  Nomyx
• 4.19.2  EtaMOO
• 4.19.3  Tetris in Haskell in a Weekend
• 4.19.4  Barbarossa
• 4.19.5  tttool
• 4.19.6  Asteroids
• 4.20  Data Tracking
• 4.20.1  hledger
• 4.20.2  gipeda
• 4.20.3  arbtt
• 4.20.4  propellor
• 4.21  Others
• 4.21.1  leapseconds-announced
• 4.21.2  clr-haskell (Haskell interoperability with the Common Language Runtime)
• 4.21.3  Kitchen Snitch server
• 4.21.4  FRTrader
• 4.21.5  Hapoid
• 4.21.6  Hanum - OSM Dynamic Attributes Linter
• 4.21.7  shell-conduit
• 4.21.8  tldr
• 4.21.9  pprjam
• 5  Commercial Users
• 5.1  Well-Typed LLP
• 5.2  Keera Studios LTD
• 5.3  McMaster Computing and Software Outreach
• 6  Research and User Groups
• 6.1  DataHaskell
• 6.2  Haskell at Eötvös Lorand University (ELTE), Budapest
• 6.3  Artificial Intelligence and Software Technology at Goethe-University Frankfurt
• 6.4  Functional Programming at the University of Kent
• 6.5  Functional Programming at KU
• 6.6  Functional Programming Laboratory at the University of Nottingham
• 6.7  fp-syd: Functional Programming in Sydney, Australia
• 6.8  Regensburg Haskell Meetup
• 6.9  Curry Club Augsburg
• 6.10  Italian Haskell Group
• 6.11  RuHaskell – the Russian-speaking haskellers community
• 6.12  NY Haskell Users Group and Compose Conference
• 6.13  Japan Haskell User Group – Haskell-jp
• 6.13.1  New logo voted
• 6.13.1.1  Submitting a new article to the Haskell-jp blog
• 6.14  Tokyo Haskell Meetup – Casual, English-speaking monthly meetings in Tokyo
• 6.15  Functional Programming at the Telkom University
• 6.16  Haskell Serbia