什么火了
GitHub · OCaml / 周榜
| 热搜话题 | 最高排名 | 首次上榜 | 离榜时间 | 在榜时长 | 上榜次数 |
|---|---|---|---|---|---|
01 opengrep 🔎 Static code analysis engine to find security issues in code. | #100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
02 magic-trace magic-trace collects and displays high-resolution traces of what a process is doing | #200:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
03 ocaml The core OCaml system: compilers, runtime system, base libraries | #300:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
04 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. | #400:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
05 opam opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. | #500:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
06 rescript ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. | #600:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
07 dune A composable build system for OCaml. | #700:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
08 aeneas A verification toolchain for Rust programs | #800:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
09 liquidsoap Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more. | #900:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
10 infer A static analyzer for Java, C, C++, and Objective-C | #1000:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
11 unison Unison file synchronizer | #1100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |