Haskell ecosystem

基金会

会议

项目集

Awesome Haskell awesome-haskell
State of the Haskell ecosystem
A List of companies that use Haskell
A.W.E.S.O.M. O Haskell
Awesome Haskell @ LibHunt
servant Rethinking webservices and APIs in Haskell, one combinator at a time（一次一个组合器）
Holmusk
Haskell ecosystem

用户服务商

Haskell in Industry Haskell in Research Haskell in Education
Haskell Cosmos collection of data related to Haskell ecosystem.
IOHK 是一个区块链研发团队，目前负责 Cardano Foundation 软件的开发。
EMURGO
FP Complete
Commercial Haskell SIG
Galois, Inc.
Serokell
digitally induced
Wire Swiss GmbH Wire.com backend services
Scarf 帮助你了解你的代码是如何被使用的，并将你与那些依赖你的工作的公司联系起来。
Keera Studios The Haskell Game & Mobile App company @ GitHub
为什么 Haskell 是我们（Foxhound Systems）构建生产软件系统的首选 Concordium 混合使用 Rust & Haskell Concordium @ GitHub
Well-Typed
Kowainik Anyone can change the world. We do.
Serokell Software Development Company

语言编译器

Haskell Language Haskell Compiler
Implementations (GHC, Hugs, NHC, JHC, Yhc, UHC) Glasgow Haskell Compiler (GHC) Utrecht Haskell Compiler (UHC) LLVM Haskell Compiler (LHC) York Haskell Compiler (Yhc)
Write You a Haskell Building a modern functional compiler from first principles
Miranda 是一种惰性求值的纯函数式编程语言，由英国学者大卫·特纳所设计，强烈的影响了后来发展出的 Haskell。
Haskell library for Language Server Protocol
Compilers and interpreters Foreign Function Interface (FFI)
Haskell LLVM JIT Compiler Tutorial Implementing a JIT Compiled Language with Haskell and LLVM
Asterius A Haskell to WebAssembly compiler
llvm-hs Haskell bindings for LLVM
GRIN 是一个支持整个程序优化的懒惰和严格函数式语言的编译器后端LLVM，GRIN 编译器项目支持 Haskell、Idris 和 Agda 语言前端。
LHC Haskell Compiler aims at compiling Haskell2010 to LLVM IR
Elm Elm Compiler
Unison A friendly programming language from the future
PureScript A small strongly, statically typed language which compiles to JavaScript
GHCJS is a Haskell to JavaScript compiler that uses the GHC API.
Haste A GHC-based Haskell to JavaScript compiler
Clash A functional hardware description language, Haskell to VHDL/Verilog/SystemVerilog compiler
Cryptol The Language of Cryptography
Agda is a dependently typed programming language / interactive theorem prover. Programming Language Foundations in Agda
Carp 是一种旨在为互动和性能（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 Lisp，没有 GC，用于实时应用。
Idris A Language for Type-Driven Development
ForSyDe Haskell-embedded Domain Specific Language
Accelerate High-performance parallel arrays for Haskell Accelerate-LLVM
Perl6::Pugs - A Perl 6 Implementation, Perl 6 的 Haskell 实现 Pugs

Plutus Core smart contracts language implementation and tools. 为了确保增强安全性和代码可验证性，IOHK 选择 Haskell 作为 Plutus 智能合约的编程语言。
Glow language for Blockchain Decentralized Applications, interact with the Cardano network from Gerbil Scheme
Marlowe is also an embedded DSL, hosted in the Haskell programming language.
Ermine Programming Language
Yampa Functional Reactive Programming (FRP, 函数反应式编程) DSL for efficient hybrid（混合离散时间和连续时间）systems，使用了信号函数作为它的核心抽象，并使用箭头（Arrow）组合器进行结构化。
Frege is a Haskell for the JVM, It brings purely functional programing to the Java platform.
Eta Modern Haskell on the JVM, port Haskell games to Android.
The Kore Language
Shentong A Haskell implementation of the Shen programming language.
Axel Haskell + Lisp
hs-language-php 用于解析和评估 PHP 代码的实验性 Haskell 模块
hruby Embed Ruby in your Haskell program.
Berp an implementation of Python 3
COMP3012/G53CMP Compilers 2018/19 不错的编译原理课程
The Haskell Thrift Compiler Apache Thrift
Paskell A Pascal to LLVM compiler in Haskell
Helium compiler Helium-as-a-library, and the texthint interpreter
Disco Discus Compiler (DDC)
Intel labs Haskell research compiler
Curry A Truly Integrated Functional Logic Programming Language
Futhark High-performance purely functional data-parallel array programming
Hackett WIP implementation of a Haskell-like Lisp in Racket
Quipper: A Scalable Quantum Programming Language 量子计算

GHC

GHC, GHCi, Runtime, Virtual Machine, Haskell Compiler Service（HCS）资源汇集

GHC @ Haskell GHC @ GitLab GHC @ GitHub GHC Documentation GHC Download GHC @ Huihoo
Hoogle is a Haskell API search engine
compilertools.net The Catalog of Compiler Construction Tools
GHC Proposals GHC提案过程和指导委员会对GHC和GHC/Haskell的编译器和语言进行讨论建议和修改。
Latest releases per GHC version stackage
Hadrian is a new build system for the Glasgow Haskell Compiler
GHC packages
ghc-vis Visualize live Haskell data structures in GHCi
Template Haskell 是对 Haskell 的 GHC 语言扩展 Template Haskell 允许你在 Haskell 中进行编译时元编程（metaprogramming）。Template Haskell packages
Lex & Yacc Happy parser generator for Haskell, similar to Yacc and Bison.
ghcid Very low feature GHCi based IDE
LC3 virtual machine Write your Own Virtual Machine

开发者

Haskell & GHC 核心开发者

Core Libraries Committee

.NET

与 .NET 的集成和互操作

Salsa a .NET bridge for Haskell

类型系统

这里包含类型、数据、结构、算法等软件包，Haskell 主要使用 data 与 newtype 关键字来定义新的数据类型。Type systems are an example of lightweight formal methods（形式化方法）。

Haskell Type Haskell's Data Types! Haskell Algorithms
Haskell Data packages and projects Haskell Data Structures packages and projects
Type Class 类型类首先在 Haskell 中实现对类型类的广泛解释 Haskell Typeclasses vs. C++ Classes
Monad 在 Haskell 中，monad 是一个很重要的类型类，它起源于数学中的范畴论，单体（Monad）可以被看作是各种数据或控制结构的标准编程接口。
Lens Lenses, Folds, and Traversals
From Type Theory to Haskell in 10 Minutes

包管理

Cabal
Haskell Platform Included Packages 35 core & widely-used packages
Hackage The Haskell Package Repository
stack Nix integration Stack is a cross-platform program for developing Haskell projects.
ghc-pkg

cabal-install 支持多个 Haskell 编译器,而 ghc-pkg 仅用于 GHC。

Nix 是一个包管理器，它管理的包环境可信赖、可重现，可原子地执行升级与回滚，在这基础上又有了基于包管理的操作系统 NixOS
cabal2nix Generate Nix build instructions from a Cabal file
haskell.nix 用 Nix 构建 Haskell 包的基础设施，haskell.nix 可以自动将 Cabal 或 Stack 项目及其依赖项转化成 Nix 代码。
The Aura Package Manager
Darcs 版本控制系统
hpack 一种现代的 Haskell 包格式

插件模块化

polysemy 是一个用于编写高复用领域特定语言（DSL）的库。polysemy 允许将业务逻辑与实现细节分开，这样一来，就把实现代码变成可重用的库代码。Reasonably Polymorphic

DevOps

代码测试、代码质量、静态分析、代码安全、Gitlab、DevOps ...

QuickCheck Automatic testing of Haskell programs. Introduction to QuickCheck2
servant-quickcheck QuickCheck entire APIs
hspec Testing for Haskell
hspec-wai Experimental Hspec support for testing WAI applications
Retrie is a powerful, easy-to-use code modding tool for Haskell.
Glean System for collecting, deriving and working with facts about source code.
Duckling Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Packcheck Universal CI testing for Haskell packages
Generic random generators
Hercules CI Agent
Gitlab Pipelines TV Dashboard
ShellCheck A shell script static analysis tool
Stan is a Haskell STatic ANalysis tool.

桌面IDE

图形GUI

Haskell Graphics packages and projects
fgl The Functional Graph Library for Haskell
XMonad A dynamically tiling X11 window manager that is written and configured in Haskell.
ImplicitCAD
Gtk2Hs GUI library for Haskell based on GTK+
wxHaskell wxWidgets wrapper for Haskell
qtHaskell is a set of Haskell bindings for the Qt
HsQML Qt Quick for Haskell
Haskell OpenGL
Dear ImGui.hs SDL2
brick 一个用 Haskell 编写的声明性 Unix 终端 UI 编程库
Reanimate 是用于构建基于 SVG 图形的声明式动画 Haskell 库
Gifcurry 是用于GIF制作的视频编辑器。
patat（Presentations Atop The ANSI Terminal）是一个小工具，它允许你只使用 ANSI 终端来显示演示文稿（presentations），而不需要 ncurses。

REST API

Hasura GraphQL Engine
Haxl is a Haskell library that simplifies access to remote data, such as databases or web-based services.

Web应用

Haskell Web
Haskell Web Foundation
Nginx Haskell module Nginx module for binding Haskell
servant A Type-Level Web DSL
three-layer Architecture of the Haskell web applications with Haskell on backend and Elm on frontend.
IHP is a modern batteries-included haskell web framework, built on top of Haskell and Nix
Yesod Web Framework Haskell Web Application Interface (WAI)
Snap A Haskell Web Framework
hakyll A static website compiler library in Haskell
yst static websites from YAML and string templates
Pandoc a universal document converter
BlazeHtml 是一个库，旨在成为使用 Haskell 生成 HTML 的最快方式。
HaTeX The Haskell LaTeX library.
Gitit A wiki using HAppS, pandoc, and git
miso A tasty Haskell front-end framework

消息社交媒体

Mastodon client module for Haskell
SimpleX messaging platform 包含 iOS and Android apps
RabbitMQ Client for Haskell

eLearning

NoRedInk We teach writing!

网络系统

网络、服务器、系统编程

Haskell Network Low-level networking interface
websockets A Haskell library for creating WebSocket-capable servers
Haskus system

数据科学

statistics A library of statistical types, data, and functions 这个库提供了一些在统计学中有用的常用函数和类型，专注于高性能、数值稳健和使用良好的算法。
dataHaskell Haskell data science
IHaskell IHaskell is a kernel for the Jupyter
diagrams DSL for creating vector graphics for Data visualization
hmatrix BLAS/LAPACK wrapper for Linear algebra and numerical computation
HaskellR Programming R in Haskell
sparkle Apache Spark applications in Haskell
cassava A CSV parsing and encoding library
Frames Data Frames for Haskell
haskell-chart A 2D charting library for haskell
dataHaskell Data Types for Data Science 汇总了很多数据科学和机器学习的开源项目
ArrayFire Haskell bindings to ArrayFire

金融交易

Haskell in Production
hledger 是开源跨平台会计软件，适合刚接触会计的人，也适合强大的用户。它适合追踪金钱、时间、投资、加密货币、库存等，具有高度的准确性、灵活性和隐私性，它是纯文本会计的最佳实现之一。
Adjoint 为跨国企业实现了现金和结算流程的数字化

人工智能

人工智能, 机器学习, 深度学习, 神经网络, NLP, NLU, 机器翻译 in Haskell

Haskell Machine Learning packages @ Libhunt
Haskell Linguistics & NLP
Machine Learning in Haskell
AI packages
Awesome Haskell Machine Learning
HLearn is a high performance machine learning library written in Haskell
Grenade Deep learning in Haskell
TypedFlow Typed frontend to TensorFlow and higher-order deep learning
Hasktorch Tensors and neural networks in Haskell
DNNGraph A deep neural network model generation DSL in Haskell
Monday Morning Haskel
Natural Language Processing packages
Haskell OpenCV Haskell binding to OpenCV-3.x
Grammatical Framework Grammatical Framework: Programming with Multilingual Grammars

数学物理

Haskell and Mathematics Articles using Haskell for mathematics and the mathematics of Haskell
Theorem provers Agda
组合逻辑（Combinatory logic）被发展为数学基础的理论，组合逻辑为发展数理语言学（mathematical linguistics）的强大理论做出了贡献，应用：NLP
Haskell Math projects Math packages Algebra packages
作为一个数学家使用 Haskell 的十一个理由
Numerical is the core library for Numerical Haskell
Automatic Differentiation
Haskell DSP Library
Algebraic graphs
Haskell Software Defined Radio (SDR) 库
DSLsofMath Domain-Specific Languages of Mathematics
Learn You a Physics for Great Good!
jukebox A theorem prover

并发并行

并行、并发、异步以及分布式、云计算、actor model

Concurrent and Parallel Programming 软件事务内存（Software Transactional Memory,STM）是一种比较理想的解决并发程序的解决方案。STM包
Parallel GHC Project
Haskell Concurrency packages and projects
parallel Parallel programming library
Accelerate High-Performance Parallel Arrays for Haskell
ThreadScope A graphical tool for profiling parallel Haskell programs
Cloud Haskell（CH）与 Erlang 类似,都采用 Actor 模型作为其默认的并发模型。
Distributed Haskell distributed-process Haskell analog to Erlang Learn how to build concurrent, distributed programs with Cloud Haskell
A Cloud Haskell Appetiser (Parallel Haskell Digest 11)
stm-actor An implementation of the actor model in Haskell using STM
drama Actor library for Haskell 更多 Actor 开源项目
transient composable primitives for concurrency / parallelism / distributed computing

音乐视频

Audio Music Video Haskore
AlgoRhythm Algorithmic music composition
Movie Monad 视频播放器

游戏

Haskell Game Development Haskell Games
Haskell Game packages and projects
LambdaHack Haskell game engine library
Haskell Game Haskell SDL2 library
Haskanoid A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
gloss Painless 2D vector graphics, animations and simulations.
Frag is a 3D first person shooting game written in Haskell
Quine Haskell, OpenGL, toy project
Barbarossa - a chess engine written completely in Haskell
hadoom A little Doom-like 2.5 game engine
Hedgewars A turn-based artillery game, The game server is written in Haskell.
Lazy Lambda a Flappy Bird clone in Haskell with SpriteKit
Lambda-Heights A fast paced arcade game
Keera Studios The mobile Haskell game and app company
FunGEn (Functional Game Engine)
A Game in Haskell - Dino Rush

移动App

实时嵌入式

Ivory is an embedded domain specific language (EDSL)
Copilot Stream DSL for hard real-time runtime verification

安全密码学

Hackage Security
Security ACME (Automatic Certificate Management Environment, RFC 8555) packages
Cryptography packages
Cryptol加密语言

区块链

Cardano
Input Output Cardano Foundation Cardano Improvement Proposals (CIPs) ADA加密货币为什么人们无法评估Cardano的潜力 Cardano如何实现中本聪的愿景 Cardano和比特币可以共存并相互支持 Alonzo为Cardano带来智能合约 The Essential Cardano list Adrestia Project Why Cardano chose Haskell — and why you should care Cardano中文
Well-Typed
lorentz: EDSL for the Michelson Language Lorentz: Implementing Smart Contract eDSL in Haskell
Morley Standards and tools for the Tezos platform
Legion a simple blockchain server implementation written in Haskell
Pact Smart Contract Language

FRP流计算

大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值，将交互式系统描述为纯函数。

Haskell FRP packages and projects
Reflex The world changes, your apps should keep up.
conduit A streaming data library
Yampa Book Yampa @ Haskell Lambdor.net Devblog
DBFunctor Functional Data Management, ETL/ELT* Data Processing in Haskell
Haskell Streamly 数据流编程和声明性并发
Streaming Benchmarks 比较 Haskell 中各种流式实现的性能基准测试

数据库存储

Databases and Persistence

PostgREST REST API for any PostgreSQL database PostgREST ecosystem
Esqueleto a SQL DSL for Haskell
Beam a type-safe, non-TH Haskell relational database library and ORM
Persistence interface for Haskell allowing multiple storage methods
resource-pool A high-performance striped resource pooling implementation
hedis Client library for the Redis datastore: supports full command set, pipelining.
hackage-db provide access to the Hackage database via Data.Map
judy-graph-db is a graph database
Selda A type-safe, high-level SQL library for Haskell