• 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  Learning Haskell
  • 2.3  School of Haskell
  • 2.4  Programming in Haskell - 2nd Edition
  • 2.5  Haskell Programming from first principles, a book for all
  • 2.6  Stack Builders Tutorials
  • 2.7  Haskell MOOC
  • 3  Implementations
  • 3.1  The Glasgow Haskell Compiler
  • 3.1.1  Major changes in GHC 8.4
  • 3.1.1.1  Development updates and acknowledgments
  • 3.2  Frege
  • 3.3  The Helium Compiler
  • 3.4  Specific Platforms
  • 3.4.1  Fedora Haskell SIG
  • 3.4.2  Debian Haskell Group
  • 3.5  Related Languages and Language Design
  • 3.5.1  Agda
  • 3.5.2  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  hsinstall
  • 4.2.6  yesod-rest
  • 4.2.7  Haskell Cloud
  • 4.2.8  Hackagebot 2.0
  • 4.3  Repository Management
  • 4.3.1  Darcs
  • 4.3.2  git-annex
  • 4.3.3  Octohat
  • 4.3.4  openssh-github-keys (Stack Builders)
  • 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-heap-view
  • 4.4.3  ghc-vis
  • 4.4.4  Hat — the Haskell Tracer
  • 4.4.5  LeanCheck
  • 4.4.6  Speculate
  • 4.4.7  Extrapolate
  • 4.5  Development Tools and Editors
  • 4.5.1  Haskell for Mac
  • 4.5.2  haskell-ide-engine, a project for unifying IDE functionality
  • 4.5.3  HyperHaskell – The strongly hyped Haskell interpreter
  • 4.5.4  CodeWorld
  • 4.5.5  Haskell Indexer
  • 4.5.6  Brittany
  • 4.6  Formal Systems and Reasoners
  • 4.6.1  The Incredible Proof Machine
  • 4.6.2  Exference
  • 4.7  Education
  • 4.7.1  Holmes, Plagiarism Detection for Haskell
  • 4.7.2  DSLsofMath
  • 4.7.3  Interactive Domain Reasoners
  • 4.8  Text and Markup
  • 4.8.1  lhs2TeX
  • 4.8.2  Lentil
  • 4.8.3  Unicode things
  • 4.8.4  Fast Unicode Normalization
  • 4.8.5  Ginger
  • 4.9  Web
  • 4.9.1  WAI
  • 4.9.2  Warp
  • 4.9.3  Yesod
  • 4.9.4  Happstack
  • 4.9.5  Snap Framework
  • 4.9.6  MFlow
  • 4.9.7  PureScript
  • 4.9.8  Sprinkles
  • 4.9.9  nginx-haskell-module
  • 4.9.10  Hapistrano
  • 4.9.11  Template Toolkit
  • 4.10  Databases
  • 4.10.1  Persistent
  • 4.10.2  Opaleye
  • 4.10.3  Squeal
  • 4.10.4  Riak bindings
  • 4.10.5  Haskell Relational Record
  • 4.10.6  YeshQL
  • 4.11  Data Structures, Data Types, Algorithms
  • 4.11.1  Algebraic graphs
  • 4.11.2  Conduit
  • 4.11.3  Transactional Trie
  • 4.11.4  Concurrent Trie
  • 4.11.5  Random access zipper
  • 4.11.5.1  Future work
  • 4.11.6  Generic random generators
  • 4.11.6.1  Description
  • 4.11.6.2  Status
  • 4.11.7  Generalized Algebraic Dynamic Programming
  • 4.11.8  Earley
  • 4.11.9  Transient
  • 4.12  Parallelism
  • 4.12.1  Eden
  • 4.12.2  Auto-parallelizing Pure Functional Language System
  • 4.12.3  Deja Fu: Concurrency Testing
  • 4.12.4  The Remote Monad Design Pattern
  • 4.12.5  concurrent-output
  • 4.13  Systems programming
  • 4.13.1  Haskell for Mobile development
  • 4.13.2  haskus-system
  • 4.13.3  Haskino
  • 4.13.4  STM32-Zombie
  • 4.13.5  Feldspar
  • 4.14  Mathematics, Simulations and High Performance Computing
  • 4.14.1  sparse-linear-algebra
  • 4.14.2  aivika
  • 4.14.3  General Decimal Arithmetic
  • 4.15  Graphical User Interfaces
  • 4.15.1  wxHaskell
  • 4.15.2  threepenny-gui
  • 4.16  FRP
  • 4.16.1  Yampa
  • 4.16.2  reactive-banana
  • 4.16.3  Functional Reactive Agent-Based Simulation
  • 4.17  Graphics and Audio
  • 4.17.1  diagrams
  • 4.17.2  csound-expression
  • 4.17.3  Chordify
  • 4.17.4  The Arpeggigon
  • 4.17.5  Movie Monad
  • 4.17.6  Gifcurry
  • 4.18  Games
  • 4.18.1  Nomyx
  • 4.18.2  EtaMOO
  • 4.18.3  Tetris in Haskell in a Weekend
  • 4.18.4  Barbarossa
  • 4.18.5  tttool
  • 4.19  Data Tracking
  • 4.19.1  hledger
  • 4.19.2  gipeda
  • 4.19.3  arbtt
  • 4.19.4  propellor
  • 4.20  Others
  • 4.20.1  ADPfusion
  • 4.20.2  leapseconds-announced
  • 4.20.3  Haskell in Green Land
  • 4.20.4  clr-haskell (Haskell interoperability with the Common Language Runtime)
  • 4.20.5  Kitchen Snitch server
  • 4.20.6  FRTrader
  • 4.20.7  shell-conduit
  • 4.20.8  Hapoid
  • 4.20.9  Hanum - OSM Dynamic Attributes Linter
  • 4.20.10  tldr
  • 5  Commercial Users
  • 5.1  Well-Typed LLP
  • 5.2  Keera Studios LTD
  • 5.3  Stack Builders
  • 5.4  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  Online Discussion Space
  • 6.13.1.1  Haskell-jp Blog
  • 6.13.1.2  Haskell-jp Mokumoku-kai
  • 6.13.1.3  Haskell-jp wiki
  • 6.13.1.4  Haskell Antenna
  • 6.14  Tokyo Haskell Meetup – Casual, English-speaking monthly meetings in Tokyo
  • 6.15  Functional Programming at the Telkom University
  • 6.16  Haskell Serbia