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
  • Websites
  • Bloggers
  • Community
  • Tutorials
  • Courses
  • Conferences
  • Packages
• 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).