用 Haskell 编写的库

judge

基于 Tableau 的论证逻辑定理证明器。
  • 1
  • GNU General Public License v3.0 only

string-like

Haskell 中类似字符串对象的统一接口。
  • 1
  • BSD 3-clause "New" or "Revised"

haskhol-core

HaskHOL定理证明器的核心逻辑系统。请参阅 haskhol.org 了解更多详细信息。
  • 1
  • BSD 3-clause "New" or "Revised"

tpdb

TPDB语法的解析器和prettyprinter（终止问题数据库）。
  • 1
  • GNU General Public License v3.0 only

base64-bytes

Haskell 中的 Base64 编码。
  • 1
  • BSD 3-clause "New" or "Revised"

advent-of-code-dev-2021

交互式开发环境和 Advent of Code 挑战的运行器。
  • 1
  • BSD 3-clause "New" or "Revised"

cl3-hmatrix-interface

与 Cl3 和 HMatrix 库之间的接口。
  • 1
  • BSD 3-clause "New" or "Revised"

humble-prelude

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

libretls

  • 1
  • BSD 2-clause "Simplified"

ceilometer-common

云高计的常见 Haskell 类型和编码。
  • 1
  • BSD 3-clause "New" or "Revised"

cognimeta-utils

Perdure 使用的实用程序。
  • 1

primitive-unlifted

PrimUnlifted 类型类，未提升值的接口数组。
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-break

用于管道生态系统的实用程序，用于通过分隔符对 ByteString 和 Text 进行中断和操作。
  • 1
  • BSD 3-clause "New" or "Revised"

aoc2020

Code 2020 的到来（由 pwm 提供）。
  • 1
  • BSD 3-clause "New" or "Revised"

KSP

KSP 计算库（由 frosch03 提供）。
  • 1

confcheck-types

confcheck-类型。
  • 1
  • GNU Affero General Public License v3.0

trasa-extra

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

th-nowq

扩展到当前时间的模板 Haskell 拼接。
  • 1
  • BSD 3-clause "New" or "Revised"

aws-ses-easy

📧 轻松集成 Amazon SES。
  • 1
  • BSD 3-clause "New" or "Revised"

integreat

集成不同的数据源并可选择执行差异集成。
  • 1
  • GNU General Public License v3.0 only

nano-cryptr

从 haskell 绑定到 glibc 的 crypt_r 函数。
  • 1
  • BSD 3-clause "New" or "Revised"

abacate

  • 1

proxy

代理“助手”（由 chessai 提供）。
  • 1
  • MIT

hgrep-smallcore

大学项目：Haskell 实现 https://www.ccs.neu.edu/home/turon/re-deriv.pdf，具有非常小的内部正则表达式表示。
  • 1
  • BSD 3-clause "New" or "Revised"

ViennaRNA-extras

Haskell 中的 ViennaRNA v2 扩展。
  • 1
  • BSD 3-clause "New" or "Revised"

projection

任意嵌套的二进制产品类型的投影函数。
  • 1
  • BSD 3-clause "New" or "Revised"

aws-elastic-transcoder

扩展 Haskell AWS 存储库以连接 AWS Elastic Transcoder 服务。
  • 1
  • BSD 3-clause "New" or "Revised"

sscript

使用下标或上标字符格式化字符串。
  • 1
  • BSD 3-clause "New" or "Revised"

advent2020

2020 年代码来临的解决方案。（作者：elldritch）。
  • 1

streaming-events

ServerEvent 的客户端消耗..
  • 1
  • BSD 3-clause "New" or "Revised"