rocq-prover/opam

Archive for all Rocq and Coq-related opam packages organized in various repositories

GitHub repository with 171 stars and 182 forks.

Language: OCaml

Topics: coq, opam-repository, opam, rocq-prover

Open provider repository

Latest metric snapshot

2026-06-04: 171 stars and 182 forks.

Similar repositories

  1. 1. rocq-prover/vsrocq

    Visual Studio Code extension for Coq

    GitHub repository with 453 stars and 107 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: OCaml

    Topics: coq, vscode, vscode-extension, editor, vscodium, rocq

Trending in OCaml

  1. 1. ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    GitHub repository with 6,390 stars and 1,237 forks.

    Trending score: 1.39; stars gained: +28; forks gained: +2.

    Language: OCaml

    Topics: ocaml, compiler, functional-language

  2. 2. opengrep/opengrep

    🔎 Static code analysis engine to find security issues in code.

    GitHub repository with 2,650 stars and 218 forks.

    Trending score: 1.04; stars gained: +11; forks gained: +1.

    Language: OCaml

  3. 3. oxcaml/oxcaml

    OCaml - Oxidized!

    GitHub repository with 759 stars and 151 forks.

    Trending score: 0.81; stars gained: +3; forks gained: +2.

    Language: OCaml

  4. 4. facebook/pyre-check

    Performant type-checking for python.

    GitHub repository with 7,166 stars and 452 forks.

    Trending score: 0.70; stars gained: +1; forks gained: +0.

    Language: OCaml

    Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python

  5. 5. EasyCrypt/easycrypt

    EasyCrypt: Computer-Aided Cryptographic Proofs

    GitHub repository with 399 stars and 63 forks.

    Trending score: 0.57; stars gained: +2; forks gained: +0.

    Language: OCaml

  6. 6. jeong-sik/masc-mcp

    MASC - Multi-Agent Streaming Coordination in OCaml

    GitHub repository with 5 stars and 1 forks.

    Trending score: 0.55; stars gained: +0; forks gained: +0.

    Language: OCaml

Trending topic: coq

  1. 1. SkyLabsAI/BRiCk

    Formalization of C++ for verification purposes.

    GitHub repository with 92 stars and 16 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

    Topics: coq, coq-formalization, coq-library, cplusplus, cplusplus-11, cplusplus-14

  2. 2. rocq-prover/vsrocq

    Visual Studio Code extension for Coq

    GitHub repository with 453 stars and 107 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: OCaml

    Topics: coq, vscode, vscode-extension, editor, vscodium, rocq