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

GitHub 2026-08-04 趋势

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

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

semgrep/semgrep

OCaml
连续上榜 22 天 累计上榜 169 次 星标飙升

轻量级多语言静态分析工具。通过类源代码模式发现错误变体。

c go java
semgrep
semgrep 开发者
16k
1k
410
+13
排名 #2
8月4日
查看详情

opengrep/opengrep

OCaml
累计上榜 133 次 星标飙升 排名上升 ↑6

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

opengrep
opengrep 开发者
2.9k
234
243
+6
排名 #3
8月4日
查看详情

ocaml/ocaml

OCaml
历史最高 #1 累计上榜 160 次 星标飙升

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

compiler functional-language ocaml
ocaml
ocaml 开发者
6.5k
1.4k
493
+2
排名 #1
8月4日
查看详情

AeneasVerif/aeneas

OCaml
累计上榜 44 次

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
889
94
391
+1
排名 #9
8月4日
查看详情

rocq-prover/rocq

OCaml
连续上榜 7 天 累计上榜 116 次

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

coq dependent-types proof-assistant
rocq-prover
rocq-prover 开发者
5.5k
745
525
+1
排名 #5
8月4日
查看详情

semgrep/ocaml-tree-sitter-core

OCaml
连续上榜 13 天 累计上榜 136 次

用于处理类型化树状语法分析器CST的OCaml代码生成器及运行时库

semgrep
semgrep 开发者
56
11
248
排名 #12
8月4日
查看详情

oxcaml/oxcaml

OCaml
累计上榜 67 次

OCaml - 氧化增强版！

oxcaml
oxcaml 开发者
829
167
239
排名 #11
8月4日
查看详情

cryspen/hax

OCaml
累计上榜 27 次

一款 Rust 验证工具

formal-verification rust
cryspen
cryspen 开发者
463
66
229
排名 #10
8月4日
查看详情

caffeinelabs/motoko

OCaml
连续上榜 5 天 累计上榜 28 次

用于编写互联网计算机容器的简单高级语言

internet-computer motoko motoko-language
caffeinelabs
caffeinelabs 开发者
588
127
253
排名 #8
8月4日
查看详情

ocaml/opam

OCaml

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

git ocaml opam
ocaml
ocaml 开发者
1.4k
401
325
排名 #7
8月4日
查看详情

MinaProtocol/mina

OCaml
累计上榜 90 次

Mina 是一种具有恒定大小区块链的加密货币协议，在保持去中心化和安全性的同时提升可扩展性

blockchain cryptocurrency mina
MinaProtocol
MinaProtocol 开发者
2.1k
584
393
排名 #6
8月4日
查看详情

ocaml/dune

OCaml
连续上榜 7 天 累计上榜 49 次 排名上升 ↑5

可组合的OCaml构建系统

build dune jbuilder
ocaml
ocaml 开发者
1.9k
489
524
排名 #4
8月4日
查看详情
助手