- 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