什么火了
GitHub · OCaml / 月榜
| 热搜话题 | 最高排名 | 首次上榜 | 离榜时间 | 在榜时长 | 上榜次数 |
|---|---|---|---|---|---|
01 ocaml The core OCaml system: compilers, runtime system, base libraries | #100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
02 aeneas A verification toolchain for Rust programs | #200:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
03 rocq The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. | #300:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
04 opengrep 🔎 Static code analysis engine to find security issues in code. | #400:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
05 rescript ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. | #500:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
06 infer A static analyzer for Java, C, C++, and Objective-C | #600:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
07 opam opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. | #700:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
08 dune A composable build system for OCaml. | #800:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
09 unison Unison file synchronizer | #900:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |
10 mina Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. | #1000:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时10分累计在榜 | 1无重入 |