❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

GitHub 2026-02-13 Trending

Discover the hottest open source projects every day

Select a date
Haskell
Data collection date: 2026-02-13
Haskell
Total 11 projects，sorted by Star Increment Sort
一款强大且可定制的macOS多排扩展坞替代品。将应用组织成多个部分，切换工作区，并自定义一切。
DockMaster Pro 是一款 macOS Dock 栏增强工具，目标是将原生 Dock 从「应用启动器」升级为「生产力中枢」。

jgm/pandoc

Haskell
连续上榜 17 天 历史最高 #1 累计上榜 1224 次 星标飙升

通用标记转换器

commonmark converter document
jgm
jgm Developer
42k
3.8k
955
+24
Ranking #1
2月13日
View Details

simplex-chat/simplex-chat

Haskell
连续上榜 13 天 累计上榜 916 次

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

chat double-ratchet e2ee
simplex-chat
simplex-chat Developer
10k
564
634
+16
Ranking #5
2月13日
View Details

simonmichael/hledger

Haskell
时隔 14 天回归 累计上榜 376 次 星标飙升

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

accounting command-line-tool console-application
simonmichael
simonmichael Developer
4k
358
680
+12
Ranking #11
2月13日
View Details

maralorn/nix-output-monitor

Haskell
累计上榜 127 次 星标飙升

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

hacktoberfest haskell nix
maralorn
maralorn Developer
1.4k
44
433
+9
Ranking #4
2月13日
View Details

PostgREST/postgrest

Haskell
连续上榜 16 天 霸榜 14 天 累计上榜 1112 次 星标飙升

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

api automatic-api database
PostgREST
PostgREST Developer
26k
1.2k
736
+5
Ranking #9
2月13日
View Details

koalaman/shellcheck

Haskell
连续上榜 7 天 累计上榜 1223 次 排名飙升 ↑11

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

bash developer-tools haskell
koalaman
koalaman Developer
38k
1.9k
726
+4
Ranking #2
2月13日
View Details

hadolint/hadolint

Haskell
连续上榜 6 天 累计上榜 1104 次

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

docker dockerfile dockerfile-linter
hadolint
hadolint Developer
11k
486
579
+2
Ranking #3
2月13日
View Details

b3nj5m1n/xdg-ninja

Haskell
时隔 48 天回归 累计上榜 379 次

用于检查$HOME目录中是否存在不需要文件和目录的Shell脚本

linux shell terminal
b3nj5m1n
b3nj5m1n Developer
3.1k
184
593
Ranking #10
2月13日
View Details

digital-asset/daml

Haskell
连续上榜 14 天 时隔 18 天回归 累计上榜 631 次

Daml智能合约语言

bazel daml distributed-ledger
digital-asset
digital-asset Developer
873
244
665
Ranking #8
2月13日
View Details

agda/agda

Haskell
连续上榜 3 天 时隔 24 天回归 累计上榜 331 次

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

agda dependent-types programming-language
agda
agda Developer
2.8k
399
548
Ranking #7
2月13日
View Details

IntersectMBO/cardano-node

Haskell
连续上榜 9 天 累计上榜 476 次 排名上升 ↑8

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

IntersectMBO
IntersectMBO Developer
3.2k
747
415
Ranking #6
2月13日
View Details
Assistant