关于Haskell开发的框架、类库和软件：Awesome Haskell
jopen
9年前
关于Haskell开发的框架、类库和软件：Awesome Haskell。
- 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 </ul> </li> </ul>
- 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.
-
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 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.
- 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 & 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 - 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.
- Haxl - a library for efficient, concurrent, concise data access.
- JSON - a curated Hackage list.
- PDF - a curated Hackage list.
- XML - a curated Hackage list.
- RSS - 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 - 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 & 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 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 - a curated Hackage list.
- Monitoring - a curated Hackage list.
-
Distributed Computing - a curated Hackage list.
- Cloud Haskell - concurrent and distributed programming in Haskell.
- Documentation - a curated Hackage list.
- Editors written in Haskell - Official Website Resources.
- editors for Haskell - Official Website Resources.
- Extended Haskell - Official Website Resources.
-
Games - Official Website Resources.
- Game - a curated Hackage list.
- Game Engine - a curated Hackage list.
-
Graphical User Interface (GUI) Libraries - Official Website Resources.
- GUI - a curated Hackage list.
- User Interfaces - a curated Hackage list.
- Number Theory - a curated Hackage list.
- Numeric - a curated Hackage list.
- Numerical - a curated Hackage list.
- Math - 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
- HTTP - Haskell HTTP package. Supports client-side web programming in Haskell.
- hoauth2 - a lightweight oauth2 haskell binding.
- Pandoc - is a library for converting from one markup format to another, and a command-line tool that uses this library.
- 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.
-
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 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.
- .NET - a curated Hackage list.
- Apple - a curated Hackage list.
- JVM - a curated Hackage list.
- Mobile - a curated Hackage list.
-
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.
- 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.
- 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.
- The Haskell Programming Language
- Try Haskell - Haskell Online.
- School of Haskell - Learning Haskell.
- Stackoverflow
- G+
- Mailing lists
- IRC channels
- Local user groups
- Planet Haskell
- Haskell Communities and Activities Report
- 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.
- 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.
_Basics
Algorithmics
Audio, Music & Sound
Category Theory
Compilers
Concurrency & Parallelism
Cryptography & Hashing
Data Access
Data Formats
Data Science
Data Structures
Database
Development Tools
Distributed Computing
Documentation
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
Video Tutorials