A curated list of awesome Haskell frameworks, libraries and software. Inspired by awesome projects line.
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 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.
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 - 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 - Official Website Resources.
Crypto - a curated Hackage list.
Cryptography - a curated Hackage list.
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 & 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 Interfaces - Official Website Resources.
Database - a curated Hackage list.
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](http://hackage.haskell.org/packages/#cat:Distributed Computing) - a curated Hackage list.
Cloud Haskell - concurrent and distributed programming in Haskell.
Games - Official Website Resources.
Game - a curated Hackage list.
[Game Engine](http://hackage.haskell.org/packages/#cat:Game Engine) - a curated Hackage list.
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.
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
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
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.
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.
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.
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。