# Rocq Prover GitHub repos, page 2 [Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [Rocq Prover](https://repo.masters-masters.com/en/languages/rocq-prover) All 47 Rocq Prover GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each. Page 2 of 2 ## Rocq Prover GitHub repos, page 2 47 Rocq Prover repos in the catalog, most starred first. - [mit-plv/fiat · ★ 157 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/mit-plv/fiat) - [uds-psl/coq-library-undecidability · ★ 145 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/uds-psl/coq-library-undecidability) - [rocq-community/coq-ext-lib · ★ 136 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/coq-ext-lib) - [neelsomani/vericuda · ★ 134 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/neelsomani/vericuda) - [fraunhoferfokus/acsl-by-example · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/fraunhoferfokus/acsl-by-example) - [AU-COBRA/ConCert · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/AU-COBRA/ConCert) - [uds-psl/MPCTT · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/uds-psl/MPCTT) - [WasmCert/WasmCert-Coq · ★ 128 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/WasmCert/WasmCert-Coq) - [mit-plv/riscv-coq · ★ 123 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/mit-plv/riscv-coq) - [UniMath/TypeTheory · ★ 122 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/UniMath/TypeTheory) - [rocq-community/corn · ★ 117 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/corn) - [SkyLabsAI/BRiCk · ★ 111 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/SkyLabsAI/BRiCk) - [inQWIRE/SQIR · ★ 107 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/inQWIRE/SQIR) - [logsem/iris-tutorial · ★ 107 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/logsem/iris-tutorial) - [math-comp/hierarchy-builder · ★ 104 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/math-comp/hierarchy-builder) - [ymherklotz/vericert · ★ 101 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/ymherklotz/vericert) - [jwiegley/coq-pipes · ★ 100 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/jwiegley/coq-pipes) ## Page 2 of 2 - [Previous page](https://repo.masters-masters.com/en/languages/rocq-prover) --- Data: GitHub