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

GitHub 2026-09-21 趋势

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

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

AeneasVerif/aeneas

OCaml
时隔 26 天回归 累计上榜 64 次 快速上升

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
975
108
982
+3
排名 #3
9月21日
查看详情

bcpierce00/unison

OCaml
连续上榜 4 天 时隔 29 天回归 历史最高 #1 累计上榜 113 次

Unison 文件同步工具

bcpierce00
bcpierce00 开发者
5.5k
273
276
+3
排名 #1
9月21日
查看详情

ocaml/dune

OCaml
连续上榜 4 天 时隔 22 天回归 累计上榜 67 次

可组合的OCaml构建系统

build dune jbuilder
ocaml
ocaml 开发者
1.9k
500
1.4k
+2
排名 #4
9月21日
查看详情

ocaml/opam

OCaml
时隔 32 天回归 历史最高 #2 累计上榜 28 次 排名上升 ↑6

opam 是一款基于源码的包管理器，支持同时安装多个编译器、灵活的包约束以及适合 Git 的开发工作流。

git ocaml opam
ocaml
ocaml 开发者
1.4k
409
1k
+1
排名 #2
9月21日
查看详情

rocq-prover/rocq

OCaml
连续上榜 4 天 霸榜 10 天 时隔 22 天回归 累计上榜 138 次

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

coq dependent-types proof-assistant
rocq-prover
rocq-prover 开发者
5.6k
763
1.2k
+1
排名 #5
9月21日
查看详情
助手