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

haskell

话题找到数量

jgm/pandoc

通用标记转换器

45k
3.9k
846
+863
排名 #19
7月14日
查看详情

koalaman/shellcheck

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

39k
1.9k
608
+208
排名 #24
7月14日
查看详情

PostgREST/postgrest

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

27k
1.2k
622
+371
排名 #22
7月14日
查看详情

simplex-chat/simplex-chat

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

18k
1.3k
583
+6.2k
排名 #25
7月14日
查看详情

hadolint/hadolint

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

12k
498
524
+96
排名 #21
7月14日
查看详情

hmemcpy/milewski-ctfp-pdf

Bartosz Milewski《程序员范畴论》非官方PDF与LaTeX源码

11k
640
442
+44
排名 #11
6月10日
查看详情

simplex-chat/simplex-chat

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

9k
447
583
+386
排名 #21
7月13日
查看详情

unisonweb/unison

来自未来的友好编程语言

6.7k
309
496
+83
排名 #18
6月30日
查看详情

digitallyinduced/ihp

🔥 构建类型安全Web应用的最快方式。IHP是一个开箱即用的新型Web框架,专为长期高效开发与程序员幸福感优化设计

5.3k
222
456
+12
排名 #24
6月28日
查看详情

kmonad/kmonad

一款高级键盘管理器

5k
336
388
+4
排名 #11
6月12日
查看详情

simonmichael/hledger

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

4.6k
392
579
+449
排名 #21
7月12日
查看详情

haskell/haskell-language-server

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

2.9k
446
582
+16
排名 #23
7月12日
查看详情

wireapp/wire-server

🇪🇺 Wire后端服务

2.8k
335
427
+5
排名 #23
7月5日
查看详情

jaspervdj/patat

基于终端的演示文稿,使用Pandoc生成

2.7k
67
160
+1
排名 #17
6月13日
查看详情

haskell/cabal

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

1.7k
740
644
+4
排名 #25
7月14日
查看详情

clash-lang/clash-compiler

Haskell到VHDL/Verilog/SystemVerilog编译器

1.6k
166
108
+1
排名 #18
7月8日
查看详情

maralorn/nix-output-monitor

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

1.6k
51
359
+26
排名 #11
7月10日
查看详情

NixOS/nixfmt

Nix代码的官方格式化工具

1.5k
79
337
+2
排名 #19
6月13日
查看详情

monoscope-tech/monoscope

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

1.4k
58
427
+256
排名 #22
7月14日
查看详情

ucsd-progsys/liquidhaskell

Haskell 的液体类型

1.3k
154
376
排名 #2
4月2日
查看详情

kowainik/learn4haskell

👩‍🏫 👨‍🏫 通过4个拉取请求学习Haskell基础知识

1k
849
192
排名 #8
5月5日
查看详情

AccelerateHS/accelerate

用于高性能数组计算的嵌入式语言

1k
132
205
+8
排名 #10
5月24日
查看详情

composewell/streamly

在Haskell中实现高性能、流式与并发函数式编程

921
71
154
+1
排名 #21
6月28日
查看详情

Copilot-Language/copilot

一个基于流的运行时验证框架,用于生成硬实时C代码。

824
75
433
+4
排名 #10
5月11日
查看详情
助手