Haskell 热门项目

jgm /

pandoc

#3

通用标记转换器

koalaman /

shellcheck

#7

ShellCheck：用于Shell脚本的静态分析工具

simplex-chat /

simplex-chat

#2

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

PostgREST /

postgrest

#6

适用于任意Postgres数据库的REST API

hadolint /

hadolint

#1

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

IntersectMBO /

cardano-ledger

#5

Cardano区块链的账本实现与规范。

IntersectMBO /

cardano-node

#4

用于参与卡尔达诺去中心化区块链的核心组件。

jgm /

pandoc

#7

通用标记转换器

simplex-chat /

simplex-chat

#3

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

PostgREST /

postgrest

#5

适用于任意Postgres数据库的REST API

hadolint /

hadolint

#1

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

agda /

agda

#6

Agda是一种依赖类型编程语言/交互式定理证明器。

diku-dk /

futhark

#4

💥💻💥 一种数据并行的函数式编程语言

kmonad /

kmonad

#2

一款高级键盘管理器

jgm /

pandoc

#2

通用标记转换器

koalaman /

shellcheck

#3

ShellCheck：用于Shell脚本的静态分析工具

simplex-chat /

simplex-chat

#1

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

simonmichael /

hledger

#5

具备命令行、终端及网页界面的稳健、快速、直观的纯文本会计工具。

mtolly /

onyx

#4

用于转换和制作《摇滚乐队》《吉他英雄》《Clone Hero》及其他类似节奏游戏歌曲的工具包

jgm /

pandoc

#5

通用标记转换器

koalaman /

shellcheck

#4

ShellCheck：用于Shell脚本的静态分析工具

simplex-chat /

simplex-chat

#2

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

PostgREST /

postgrest

#1

适用于任意Postgres数据库的REST API

hadolint /

hadolint

#6

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

maralorn /

nix-output-monitor

#3

将nix-build输出通过nix-output-monitor（简称nom）管道传输，以获取构建时的附加信息

jgm /

pandoc

#2

通用标记转换器

koalaman /

shellcheck

#1

ShellCheck：用于Shell脚本的静态分析工具

simplex-chat /

simplex-chat

#5

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

hadolint /

hadolint

#6

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

PostgREST /

postgrest

#3

适用于任意Postgres数据库的REST API

carp-lang /

Carp

#4

适用于实时应用的无垃圾收集静态类型Lisp语言

jgm /

pandoc

#1

通用标记转换器

koalaman /

shellcheck

#5

ShellCheck：用于Shell脚本的静态分析工具

monoscope-tech /

monoscope

#6

Monoscope 让您能够摄取并探索日志、追踪和指标数据。

PostgREST /

postgrest

#4

适用于任意Postgres数据库的REST API

simplex-chat /

simplex-chat

#2

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

hadolint /

hadolint

#8

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

IntersectMBO /

cardano-node

#7

用于参与卡尔达诺去中心化区块链的核心组件。

nammayatri /

nammayatri

#3

一个直接连接司机的开放式出行平台，为印度下一代出行应用提供动力。

monoscope-tech /

monoscope

#1

Monoscope 让您能够摄取并探索日志、追踪和指标数据。

jgm /

pandoc

#5

通用标记转换器

PostgREST /

postgrest

#4

适用于任意Postgres数据库的REST API

koalaman /

shellcheck

#6

ShellCheck：用于Shell脚本的静态分析工具

simplex-chat /

simplex-chat

#7

SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！

nix-community /

nix-vscode-extensions

#3

适用于VS Code Marketplace与Open VSX扩展的Nix表达式

hadolint /

hadolint

#2

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码