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 - a curated Hackage list.
• Algorithms - a curated Hackage list.
• Compression - a curated Hackage list.
• Formal Languages - a curated Hackage list.
• Formal Methods - a curated Hackage list.
• Logic - a curated Hackage list.
• 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 - a curated Hackage list.
• 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 - 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 - 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 - a curated Hackage list.
• Datamining - a curated Hackage list.
• Image Processing - a curated Hackage list.
• Machine Learning - a curated Hackage list.
• Machine Vision - a curated Hackage list.
• Natural Language Processing - a curated Hackage list.
• Pattern Classification - a curated Hackage list.
• Pattern Recognition - a curated Hackage list.
• Search - a curated Hackage list.
• Statistics - a curated Hackage list.
• 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 - a curated Hackage list.
• Containers - a curated Hackage list.
• 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 - a curated Hackage list.
• Monitoring - a curated Hackage list.

Distributed Computing

• 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 - a curated Hackage list.

GUI

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

  ---

• GUI - a curated Hackage list.
• 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 - 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 - a curated Hackage list.

Languages

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

  ---

• Code Generation - a curated Hackage list.
• FFI - a curated Hackage list.
• 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 - a curated Hackage list.
• Generic Programming - a curated Hackage list.
• Logic Programming - a curated Hackage list.
• Reactive Programming - a curated Hackage list.
• 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 - 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