rocq-community/paramcoq

Old Coq plugin for parametricity [maintainer=@ppedrot]

GitHub repository with 44 stars and 29 forks.

Language: OCaml

Topics: coq, coq-ci, coq-platform, coq-plugin, docker-coq-action, parametricity

Open provider repository

Latest metric snapshot

2026-06-05: 44 stars and 29 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. opengrep/opengrep

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

    GitHub repository with 2,648 stars and 218 forks.

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

    Language: OCaml

  2. 2. 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

  3. 3. OCamlPro/owi

    Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

    GitHub repository with 304 stars and 41 forks.

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

    Language: OCaml

    Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution

  4. 4. facebook/infer

    A static analyzer for Java, C, C++, and Objective-C

    GitHub repository with 15,635 stars and 2,092 forks.

    Trending score: 0.49; stars gained: +2; forks gained: -1.

    Language: OCaml

    Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp

  5. 5. johnwhitington/camlpdf

    OCaml library for reading, writing and modifying PDF files

    GitHub repository with 230 stars and 33 forks.

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

    Language: OCaml

  6. 6. jrh13/hol-light

    The HOL Light theorem prover

    GitHub repository with 535 stars and 94 forks.

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

    Language: OCaml

Trending topic: coq

  1. 1. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 356 stars and 77 forks.

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

    Language: Rocq Prover

    Topics: compiler, language, coq

  2. 2. bloomberg/crane

    A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

    GitHub repository with 144 stars and 8 forks.

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

    Language: C++

    Topics: coq, cpp, rocq-prover, rocq, compiler, dependent-types

  3. 3. 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

  4. 4. 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