Haskell 热门项目

simplex-chat /

simplex-chat

#9

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

jgm /

pandoc

#12

通用标记转换器

koalaman /

shellcheck

#3

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

PostgREST /

postgrest

#4

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

hadolint /

hadolint

#2

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

maralorn /

nix-output-monitor

#7

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

simonmichael /

hledger

#5

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

nammayatri /

nammayatri

#1

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

IntersectMBO /

cardano-ledger

#13

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

digital-asset /

daml

#11

Daml智能合约语言

IntersectMBO /

cardano-node

#10

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

haskell /

cabal

#8

Cabal及cabal-install的官方上游开发仓库。

IntersectMBO /

plutus

#6

Plutus语言实现及相关工具

simplex-chat /

simplex-chat

#11

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

monoscope-tech /

monoscope

#7

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

jgm /

pandoc

#1

通用标记转换器

PostgREST /

postgrest

#2

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

koalaman /

shellcheck

#8

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

simonmichael /

hledger

#5

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

nammayatri /

nammayatri

#4

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

hadolint /

hadolint

#12

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

IntersectMBO /

plutus

#6

Plutus语言实现及相关工具

commercialhaskell /

stack

#14

Haskell工具栈

mtolly /

onyx

#13

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

IntersectMBO /

cardano-node

#10

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

digital-asset /

daml

#9

Daml智能合约语言

haskell /

cabal

#3

Cabal及cabal-install的官方上游开发仓库。

simplex-chat /

simplex-chat

#10

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

jgm /

pandoc

#4

通用标记转换器

monoscope-tech /

monoscope

#6

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

PostgREST /

postgrest

#1

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

koalaman /

shellcheck

#3

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

hadolint /

hadolint

#8

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

haskell /

cabal

#9

Cabal及cabal-install的官方上游开发仓库。

IntersectMBO /

cardano-node

#7

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

nammayatri /

nammayatri

#5

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

digital-asset /

daml

#2

Daml智能合约语言

simplex-chat /

simplex-chat

#14

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

jgm /

pandoc

#2

通用标记转换器

monoscope-tech /

monoscope

#10

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

PostgREST /

postgrest

#3

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

koalaman /

shellcheck

#13

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

hadolint /

hadolint

#1

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

haskell /

haskell-language-server

#12

通过语言服务器协议提供官方Haskell集成开发环境支持

diku-dk /

futhark

#8

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

commercialhaskell /

stack

#7

Haskell工具栈

mtolly /

onyx

#11

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

haskell /

cabal

#9

Cabal及cabal-install的官方上游开发仓库。

IntersectMBO /

cardano-node

#6

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

digital-asset /

daml

#5

Daml智能合约语言

nammayatri /

nammayatri

#4

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

simplex-chat /

simplex-chat

#4

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

jgm /

pandoc

#3

通用标记转换器

PostgREST /

postgrest

#5

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

hadolint /

hadolint

#1

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

koalaman /

shellcheck

#2

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

monoscope-tech /

monoscope

#8

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

mtolly /

onyx

#12

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

agda /

agda

#7

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

haskell /

cabal

#13

Cabal及cabal-install的官方上游开发仓库。

digital-asset /

daml

#11

Daml智能合约语言

commercialhaskell /

stack

#10

Haskell工具栈

IntersectMBO /

cardano-node

#9

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

nammayatri /

nammayatri

#6

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

simplex-chat /

simplex-chat

#3

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

jgm /

pandoc

#10

通用标记转换器

koalaman /

shellcheck

#6

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

monoscope-tech /

monoscope

#1

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

PostgREST /

postgrest

#2

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

nammayatri /

nammayatri

#12

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

agda /

agda

#13

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

haskell /

cabal

#11

Cabal及cabal-install的官方上游开发仓库。

halogenandtoast /

ArkhamHorror

#9

一款非官方合规的浏览器版《诡镇奇谈：卡牌游戏》，非Fantasy Flight Games制作、认可、支持或关联。

mtolly /

onyx

#8

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

commercialhaskell /

stack

#7

Haskell工具栈

IntersectMBO /

cardano-node

#5

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

digital-asset /

daml

#4

Daml智能合约语言

simplex-chat /

simplex-chat

#3

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

jgm /

pandoc

#2

通用标记转换器

monoscope-tech /

monoscope

#4

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

PostgREST /

postgrest

#1

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

hadolint /

hadolint

#14

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

nammayatri /

nammayatri

#12

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

digital-asset /

daml

#10

Daml智能合约语言

halogenandtoast /

ArkhamHorror

#9

一款非官方合规的浏览器版《诡镇奇谈：卡牌游戏》，非Fantasy Flight Games制作、认可、支持或关联。

digital-asset /

cn-quickstart

#8

使用此快速入门指南，加速在Canton网络上构建应用程序！

haskell /

cabal

#13

Cabal及cabal-install的官方上游开发仓库。

haskell /

haskell-language-server

#11

通过语言服务器协议提供官方Haskell集成开发环境支持

mtolly /

onyx

#7

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

IntersectMBO /

cardano-node

#6

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

agda /

agda

#5

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