用 Haskell 编写的库

purescript-native

PureScript 的本机编译器后端（通过 C++ 或 Golang）。
  • 606
  • BSD 3-clause "New" or "Revised"

helm

  • 596
  • MIT

tttool

尝试了解 Tip Toi 的文件格式。
  • 586
  • MIT

opaleye

  • 585
  • BSD 3-clause "New" or "Revised"

reach-lang

Reach：最安全、最智能的 DApp 编程语言。
  • 584
  • Apache License 2.0

hpack

hpack：Haskell 包的现代格式。
  • 580
  • MIT

LambdaHack

用于 Roguelike 地牢爬行者的 Haskell 游戏引擎库；请提供反馈，例如，在使用网络前端尝试示例游戏后。
  • 580
  • BSD 3-clause "New" or "Revised"

H

Haskell 中 R 的全部功能..
  • 579
  • BSD 3-clause "New" or "Revised"

amazonka

适用于 Haskell 的综合 Amazon Web Services SDK..
  • 565
  • Mozilla Public License 2.0

beam

类型安全的非 TH Haskell SQL 库和 ORM（由 haskell-beam 提供）。
  • 562
  • MIT

pact

Pact 智能合约语言。
  • 550
  • BSD 3-clause "New" or "Revised"

Perspec

用于校正图像透视的可编写脚本的桌面应用程序。
  • 545
  • GNU Affero General Public License v3.0

hindent

Haskell 漂亮的打印机。
  • 545
  • BSD 3-clause "New" or "Revised"

cubicaltt

立方类型理论的实验实现。
  • 542
  • MIT

xmonad-contrib

为 xmonad 贡献的模块。
  • 541
  • BSD 3-clause "New" or "Revised"

eff

🚧 Haskell 🚧 正在进行中的效果系统（由 hasura）。
  • 536
  • ISC

zero-bullshit-haskell

学习 Haskell，不用废话..
  • 534
  • BSD 3-clause "New" or "Revised"

stan

🕵️ Haskell 静态分析器（由 kowainik 提供）。
  • 519
  • Mozilla Public License 2.0

haskoin

Haskoin Core 是一个比特币和比特币现金库。
  • 516

reactive-banana

Haskell 中的函数反应式编程库..
  • 512
  • BSD 3-clause "New" or "Revised"

granule

一种静态类型的线性函数语言，具有用于细粒度程序推理的分级模态类型。
  • 511
  • BSD 3-clause "New" or "Revised"

copilot

一个基于流的运行时验证框架，用于生成硬实时 C 代码。
  • 510
  • GNU General Public License v3.0

pi-forall

简单依赖类型语言的演示实现。
  • 506
  • BSD 3-clause "New" or "Revised"

stgi

以用户为中心的可视化 STG 实现，帮助理解 GHC/Haskell 的执行模型。
  • 502
  • BSD 3-clause "New" or "Revised"

attoparsec

用于解析 ByteString 的快速 Haskell 库。
  • 497
  • BSD 3-clause "New" or "Revised"

haskell-code-explorer

用于探索和理解 Haskell 代码库的 Web 应用程序。
  • 497
  • MIT

monomer

一个易于使用的跨平台 GUI 库，用于编写 Haskell 应用程序。
  • 494
  • BSD 3-clause "New" or "Revised"

elaboration-zoo

依赖类型检查和细化的最小实现。
  • 490
  • BSD 3-clause "New" or "Revised"

criterion

一个强大但简单的库，用于测量 Haskell 代码的性能。 （由哈斯克尔）。
  • 489
  • BSD 3-clause "New" or "Revised"

Hakatime

Wakatime 服务器实施和分析仪表板。
  • 486
  • The Unlicense