Awesome Haskell 
An auxiliary list of awesome Haskell links, frameworks, libraries and software. The part of the awesome projects line.
- Awesome Haskell
- Basics
- Algorithmics
- Audio, Music & Sound
- Category Theory
- Compilers
- Concurrency & Parallelism
- Configuration
- Cryptography & Hashing
- Data Access
- Data Formats
- Data Science
- Data Structures
- Database
- Development Tools
- Documentation
- Distributed Computing
- Editors
- Extensions
- Games
- GUI
- Graphics
- Network
- Number Theory
- Web / Frameworks
- Text Processing
- Messaging
- Languages
- Operating Systems
- Platforms
- Programming
- Science
- Streaming Processing
- Resources
- License
Basics
- Alex - a lexical analyser generator for Haskell.
- Cabal - a system for building and packaging Haskell libraries and programs.
- GHC - the state-of-the-art optimizing native code compiler for Haskell.
- GHCi - a bytecode interpreter and interactive REPL environment for Haskell.
- GHCup - GHCup is the main installer for the general purpose language Haskell.
- Hackage - the Haskell community's central package archive.
- Haddock - a tool for automatically generating documentation from annotated Haskell source code.
- Happy - The Parser Generator for Haskell.
- Hayoo - will search all packages from Hackage, including all function and type definitions.
- Hoogle - a Haskell API search engine, which allows you to search many standard Haskell libraries by either function name, or by approximate type signature.
- hsenv - a tool to create isolated Haskell environments. This allows a project to use a GHC version different of the currently installed.
- Stack - a cross-platform tool to help on building Haskell projects. It includes support to create isolated Haskell environments and to automatically manage the dependencies of a project.
- Stackage - "Stable Hackage," tools for creating a vetted set of packages from Hackage.
Algorithmics
-
Theorem Provers - Official Website Resources.
- Algorithm - a collaborative Hackage list.
- Algorithm Visualization - a collaborative Hackage list.
- Algorithms - a collaborative Hackage list.
- Compression - a collaborative Hackage list.
- Formal Languages - a collaborative Hackage list.
- Formal Methods - a collaborative Hackage list.
- Logic - a collaborative Hackage list.
- Logic Programming - a collaborative Hackage list.
- Map Reduce - a collaborative Hackage list.
- Graphs - a collaborative Hackage list.
- Optimization - a collaborative Hackage list.
- Simulation - a collaborative Hackage list.
- SMT - a collaborative Hackage list for Satisfiability Modulo Theories (SMT).