全部/科技/OCaml / 月榜

GitHub · OCaml / 月榜

14分钟前更新
HISTORY近 30 天历史柱高表示当天去重热搜数量
907
09/08—10/07 有历史数据
  • 016598
    ocaml
    The core OCaml system: compilers, runtime system, base librariesocaml
  • 025515
    unison
    Unison file synchronizerbcpierce00
  • 031012
    aeneas
    A verification toolchain for Rust programsAeneasVerif
  • 042123
    mina
    Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.MinaProtocol
  • 051.6万
    infer
    A static analyzer for Java, C, C++, and Objective-Cfacebook
  • 061922
    dune
    A composable build system for OCaml.ocaml
  • 075596
    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
  • 081383
    opam
    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.ocaml
  • 093147
    opengrep
    🔎 Static code analysis engine to find security issues in code.opengrep