由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

GitHub 2026-09-19 趋势

发现每日最热门的开源项目

2026-09-19
OCaml
数据采集日期: 2026-09-19
OCaml
共 6 个项目，按照 Star 增量 排序
一款强大且可定制的macOS多排扩展坞替代品。将应用组织成多个部分，切换工作区，并自定义一切。
DockMaster Pro 是一款 macOS Dock 栏增强工具，目标是将原生 Dock 从「应用启动器」升级为「生产力中枢」。

ocaml/ocaml

OCaml
时隔 19 天回归 累计上榜 191 次

核心 OCaml 系统：编译器、运行时系统和基础库

compiler functional-language ocaml
ocaml
ocaml 开发者
6.6k
1.4k
1.1k
+3
排名 #4
9月19日
查看详情

bcpierce00/unison

OCaml
时隔 27 天回归 累计上榜 111 次

Unison 文件同步工具

bcpierce00
bcpierce00 开发者
5.5k
273
259
+2
排名 #3
9月19日
查看详情

facebook/infer

OCaml
连续上榜 4 天 时隔 20 天回归 累计上榜 120 次

面向 Java、C、C++ 和 Objective-C 的静态分析器

c code-quality cpp
facebook
facebook 开发者
15k
2.1k
1.1k
+2
排名 #6
9月19日
查看详情

ocaml/dune

OCaml
时隔 20 天回归 累计上榜 65 次

可组合的OCaml构建系统

build dune jbuilder
ocaml
ocaml 开发者
1.9k
500
1.2k
+1
排名 #5
9月19日
查看详情

opengrep/opengrep

OCaml
连续上榜 4 天 霸榜 9 天 时隔 19 天回归 历史最高 #1 累计上榜 170 次

🔎 用于发现代码安全问题的静态代码分析引擎

opengrep
opengrep 开发者
3.1k
265
639
+1
排名 #1
9月19日
查看详情

rocq-prover/rocq

OCaml
霸榜 8 天 时隔 20 天回归 累计上榜 136 次

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

coq dependent-types proof-assistant
rocq-prover
rocq-prover 开发者
5.6k
764
1.1k
排名 #2
9月19日
查看详情
助手