haskell.md

krispo/awesome-haskell

Awesome Haskell

A curated list of awesome Haskell frameworks, libraries and software. Inspired by awesome projects line.

目录

• Awesome Haskell
  • _Basics
  • Algorithmics
  • Audio, Music & Sound
  • Category Theory
  • Compilers
  • Concurrency & Parallelism
  • Cryptography & Hashing
  • Data Access
  • Data Formats
  • Data Science
  • 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
  • Community
  • Packages
  • Tutorials

_Basics

• The Haskell Platform - is a comprehensive, robust development environment for programming in Haskell.
• GHC - the state-of-the-art optimizing native code compiler for Haskell.
• GHCi - a bytecode interpreter and interactive REPL environment for Haskell.
• Cabal - is a system for building and packaging Haskell libraries and programs.
• Haddoc - a tool for automatically generating documentation from annotated Haskell source code.
• Happy - The Parser Generator for Haskell.
• Alex - a lexical analyser generator for Haskell.
• Hackage - s the Haskell community's central package archive.
• Hoogle - is a Haskell API search engine, which allows you to search many standard Haskell libraries by either function name, or by approximate type signature.
• Hayoo - will search all packages from Hackage, including all function and type definitions.

Algorithmics

• Theorem Provers - Official Website Resources.

  ---

• Algorithm - a curated Hackage list.

• [Algorithm Visualization](http://hackage.haskell.org/packages/#cat:Algorithm Visualization) - a curated Hackage list.

• Algorithms - a curated Hackage list.

• Compression - a curated Hackage list.

• [Formal Languages](http://hackage.haskell.org/packages/#cat:Formal Languages) - a curated Hackage list.

• [Formal Methods](http://hackage.haskell.org/packages/#cat:Formal Methods) - a curated Hackage list.

• Logic - a curated Hackage list.

• [Logic Programming](http://hackage.haskell.org/packages/#cat:Logic Programming) - a curated Hackage list.

• Map Reduce - a curated Hackage list.

• Graphs - a curated Hackage list.

• Optimization - a curated Hackage list.

• Simulation - a curated Hackage list.

• SMT - a curated Hackage list for Satisfiability Modulo Theories (SMT).

• [Symbolic Computation](http://hackage.haskell.org/packages/#cat:Symbolic Computation) - a curated Hackage list.

• [Theorem Provers](http://hackage.haskell.org/packages/#cat:Theorem Provers) - a curated Hackage list.

Audio, Music & Sound

• Audio, music and sound - official Website Resources.

  ---

• Audio - a curated Hackage list.

• Codec - a curated Hackage list.

• Graphics - a curated Hackage list.

• Media - a curated Hackage list.

• Music - a curated Hackage list.

• Sound - a curated Hackage list.

Category Theory

• Adjunctions - a curated Hackage list.
• Algebra - a curated Hackage list.
• Categories - a curated Hackage list.
• Combinators - a curated Hackage list.
• Comonads - a curated Hackage list.
• Compisition - a curated Hackage list.
• [Computer Algebra](http://hackage.haskell.org/packages/#cat:Computer Algebra) - a curated Hackage list.
• Constraints - a curated Hackage list.
• Functors - a curated Hackage list.
• Monad - a curated Hackage list.
• Monads - a curated Hackage list.
• Semigroups - a curated Hackage list.

Compilers

• Compilers & Interpreters - Official Website Resources.

• Compiler construction, lexing, parsing, pretty printing - Official Website Resources.

  ---

• Compiler - a curated Hackage list.

• [Compiler Plugin](http://hackage.haskell.org/packages/#cat:Compiler Plugin) - a curated Hackage list.

• Compilers/Interpreters - a curated Hackage list.

Concurrency & Parallelism

• Concurrency & Parallelism - Official Website Info.

  ---

• Concurrency - a curated Hackage list.

• Concurrent - a curated Hackage list.

• Functional Reactive Programming - a curated Hackage list.

• Parallelism - a curated Hackage list.

Cryptography & Hashing

• Cryptography & Hashing - Official Website Resources.

  ---

• Crypto - a curated Hackage list.

• Cryptography - a curated Hackage list.

Data Access

• Haxl - a library for efficient, concurrent, concise data access.

Data Formats

• JSON - a curated Hackage list.
• PDF - a curated Hackage list.
• XML - a curated Hackage list.
• RSS - a curated Hackage list.

Data Science

• Linguistics and natural language processing - Official Website Resources.

• Robotics - Official Website Resources.

  ---

• Artificial Intelligence - a curated Hackage list.

• Argumentations - a curated Hackage list.

• Classification - a curated Hackage list.

• Clustering - a curated Hackage list.

• [Data Mining](http://hackage.haskell.org/packages/#cat:Data Mining) - a curated Hackage list.

• Datamining - a curated Hackage list.

• [Image Processing](http://hackage.haskell.org/packages/#cat:Image Processing) - a curated Hackage list.

• [Machine Learning](http://hackage.haskell.org/packages/#cat:Machine Learning) - a curated Hackage list.

• [Machine Vision](http://hackage.haskell.org/packages/#cat:Machine Vision) - a curated Hackage list.

• [Natural Language Processing](http://hackage.haskell.org/packages/#cat:Natural Language Processing) - a curated Hackage list.

• [Pattern Classification](http://hackage.haskell.org/packages/#cat:Pattern Classification) - a curated Hackage list.

• [Pattern Recognition](http://hackage.haskell.org/packages/#cat:Pattern Recognition) - a curated Hackage list.

• Search - a curated Hackage list.

• Statistics - a curated Hackage list.

• [Text Recognition](http://hackage.haskell.org/packages/#cat:Text Recognition) - a curated Hackage list.

• Robotics - a curated Hackage list.

Data Structures

• Data Structures & IO Libraries - Official Website Resources.

  ---

• Advanced Structures - a curated Hackage list.

• [Bit Vectors](http://hackage.haskell.org/packages/#cat:Bit Vectors) - a curated Hackage list.

• Containers - a curated Hackage list.

• [Data Structures](http://hackage.haskell.org/packages/#cat:Data Structures) - a curated Hackage list.

• Enumerator - a curated Hackage list.

• Generics - a curated Hackage list.

• List - a curated Hackage list.

• Tree - a curated Hackage list.

• Vector - a curated Hackage list.

Database

• Database Interfaces - Official Website Resources.

  ---

• Database - a curated Hackage list.

Development Tools

• Development Libraries and Tools - Official Website Resources.

  ---

• Debug - a curated Hackage list.

• IDE - a curated Hackage list.

• Test - a curated Hackage list.

• Testing - a curated Hackage list.

• Logging - a curated Hackage list.

• [CLI Tool](http://hackage.haskell.org/packages/#cat:CLI Tool) - a curated Hackage list.

• Monitoring - a curated Hackage list.

Distributed Computing

• [Distributed Computing](http://hackage.haskell.org/packages/#cat:Distributed Computing) - a curated Hackage list.

  ---

• Cloud Haskell - concurrent and distributed programming in Haskell.

Documentation

• Documentation - a curated Hackage list.

Editors

• Editors written in Haskell - Official Website Resources.
• editors for Haskell - Official Website Resources.

Extensions

• Extended Haskell - Official Website Resources.

Games

• Games - Official Website Resources.

  ---

• Game - a curated Hackage list.

• [Game Engine](http://hackage.haskell.org/packages/#cat:Game Engine) - a curated Hackage list.

GUI

• Graphical User Interface (GUI) Libraries - Official Website Resources.

  ---

• GUI - a curated Hackage list.

• [User Interfaces](http://hackage.haskell.org/packages/#cat:User Interfaces) - a curated Hackage list.

Graphics

• Graphics - Official Website Resources.

  ---

• Graphics - a curated Hackage list.

Network

• Network - Official Website Resources

  ---

• Network - a curated Hackage list.

Number Theory

• [Number Theory](http://hackage.haskell.org/packages/#cat:Number Theory) - a curated Hackage list.
• Numeric - a curated Hackage list.
• Numerical - a curated Hackage list.
• Math - a curated Hackage list.

Web / Frameworks

• Web Servers - Official Website Resources.

• Web Frameworks - Official Website Resources.

• Cloud - Official Website Resources.

• Deploy - Official Website Resources.

• Libraries - Official Website Resources.

• Interfaces to Frameworks - Official Website Resources.

• Database adn Persistence - Official Website Resources.

• Testing and Verification - Official Website Resources.

• CMS - Official Website Resources for Content Management Systems (CMS).

  ---

• Web - a curated Hackage list of frameworks, libraries, ...

  ---

Additional libraries

• HTTP - Haskell HTTP package. Supports client-side web programming in Haskell.
• hoauth2 - a lightweight oauth2 haskell binding.

Text Processing

• Pandoc - is a library for converting from one markup format to another, and a command-line tool that uses this library.

Messaging

• Stomp - is the Simple (or Streaming) Text Orientated Messaging Protocol. Resources.
• amqp - client library for AMQP servers (currently only RabbitMQ).
• IRC - a curated Hackage list for Internet Relay Chat (IRC).
• [IRC Client](http://hackage.haskell.org/packages/#cat:IRC Client) - a curated Hackage list.

Languages

• Tools for interfacing with other languages - Official Website Resources.

  ---

• [Code Generation](http://hackage.haskell.org/packages/#cat:Code Generation) - a curated Hackage list.

• FFI - a curated Hackage list.

• [FFI Tools](http://hackage.haskell.org/packages/#cat:FFI Tools) - a curated Hackage list.

• HTML - a curated Hackage list.

• Java - a curated Hackage list.

• Javascript - a curated Hackage list.

• LaTex - a curated Hackage list.

• Lua - a curated Hackage list.

  ---

Additional languages on top of Haskell

• Fay - a proper subset of Haskell that compiles to JavaScript.
• Idris - A Dependently Typed Functional Programming Language
• Copilot - a (Haskell DSL) stream language for generating hard real-time C code.

Operating Systems

• Operating systems and systems programming - Official Website Resources.

  ---

• BSD - a curated Hackage list.

• Fedora - a curated Hackage list.

• Gentoo - a curated Hackage list.

• Linux - a curated Hackage list.

• System - a curated Hackage list.

Platforms

• .NET - a curated Hackage list.
• Apple - a curated Hackage list.
• JVM - a curated Hackage list.
• Mobile - a curated Hackage list.

Programming

• Generic Programming - Official Website Resources.

  ---

• [Aspect Oriented Programming](http://hackage.haskell.org/packages/#cat:Aspect Oriented Programming) - a curated Hackage list.

• Generic Programming - a curated Hackage list.

• Logic Programming - a curated Hackage list.

• Reactive Programming - a curated Hackage list.

• [Visual Programming](http://hackage.haskell.org/packages/#cat:Visual Programming) - a curated Hackage list.

Science

• Bioinformatics - Official Website Resources.

• Mathematics & Physics - Official Website Resources.

  ---

• Chemistry - a curated Hackage list.

• Bioinformatics - a curated Hackage list.

• Finance - a curated Hackage list.

• Physics - a curated Hackage list.

• Science - a curated Hackage list.

• [Scientific Simulation](http://hackage.haskell.org/packages/#cat:Scientific Simulation) - a curated Hackage list.

Streaming Processing

• Conduit - a streaming data library. Resources.
• IO-Streams - a curated Hackage list.
• Pipes - is a clean and powerful stream processing library that lets you build and connect reusable streaming components. Resources.

Resources

Websites

• The Haskell Programming Language
• Try Haskell - Haskell Online.
• School of Haskell - Learning Haskell.

Community

• Reddit
• Stackoverflow
• G+
• Mailing lists
• IRC channels
• Local user groups
• Planet Haskell
• Haskell Communities and Activities Report

Packages

• Hackage - is the Haskell community's central package archive.
• Application & Libraries - Official collections and Guide.
• Hoogle - is a Haskell API search engine, which allows you to search many standard Haskell libraries by either function name, or by approximate type signature.
• Hayoo - will search all packages from Hackage, including all function and type definitions.

Tutorials

• Learn Haskell - Official Learning Resources.
• Books & Tutorials
• learnhaskell - Haskell Learning.
• wiwinwlh - amazing guide for all kinds of things.
• Revised report - Haskell 98 Language and Libraries. The Revised Report.

Video Tutorials

• Redoing Make - Haskell from Scratch
• Haskell - Code Deconstructed
• Adventures in Haskell - A Calculator
• Sed implementation in Haskell
• LazyCasts
• Haskell Development Workflow Demo