全部/科技/OCaml / 周榜

GitHub · OCaml / 周榜

13分钟前更新
HISTORY近 30 天历史柱高表示当天去重热搜数量
1107
09/08—10/07 有历史数据
  • 013147
    opengrep
    🔎 Static code analysis engine to find security issues in code.opengrep
  • 026598
    ocaml
    The core OCaml system: compilers, runtime system, base librariesocaml
  • 03367
    xen-api
    The Xapi Project's XenAPI Serverxapi-project
  • 045596
    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.rocq-prover
  • 051922
    dune
    A composable build system for OCaml.ocaml
  • 062123
    mina
    Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.MinaProtocol
  • 071.6万
    infer
    A static analyzer for Java, C, C++, and Objective-Cfacebook
  • 087463
    rescript
    ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.rescript-lang
  • 091383
    opam
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.ocaml
  • 101012
    aeneas
    A verification toolchain for Rust programsAeneasVerif
  • 115515
    unison
    Unison file synchronizerbcpierce00