# Dépôts Rocq Prover, page 2 [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [Rocq Prover](https://repo.masters-masters.com/languages/rocq-prover) Les 47 dépôts Rocq Prover open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. Page 2 sur 2 ## Dépôts Rocq Prover, page 2 47 dépôts Rocq Prover au catalogue, du plus étoilé au moins étoilé. - [mit-plv/fiat · ★ 157 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/fiat) - [uds-psl/coq-library-undecidability · ★ 145 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/uds-psl/coq-library-undecidability) - [rocq-community/coq-ext-lib · ★ 136 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/rocq-community/coq-ext-lib) - [neelsomani/vericuda · ★ 134 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/neelsomani/vericuda) - [AU-COBRA/ConCert · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/AU-COBRA/ConCert) - [uds-psl/MPCTT · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/uds-psl/MPCTT) - [fraunhoferfokus/acsl-by-example · ★ 128 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/fraunhoferfokus/acsl-by-example) - [WasmCert/WasmCert-Coq · ★ 128 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/WasmCert/WasmCert-Coq) - [mit-plv/riscv-coq · ★ 123 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/riscv-coq) - [UniMath/TypeTheory · ★ 122 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/UniMath/TypeTheory) - [rocq-community/corn · ★ 117 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/rocq-community/corn) - [SkyLabsAI/BRiCk · ★ 111 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/SkyLabsAI/BRiCk) - [inQWIRE/SQIR · ★ 107 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/inQWIRE/SQIR) - [logsem/iris-tutorial · ★ 107 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/logsem/iris-tutorial) - [math-comp/hierarchy-builder · ★ 104 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/math-comp/hierarchy-builder) - [ymherklotz/vericert · ★ 101 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/ymherklotz/vericert) - [jwiegley/coq-pipes · ★ 100 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/jwiegley/coq-pipes) ## Page 2 sur 2 - [Page précédente](https://repo.masters-masters.com/languages/rocq-prover) --- Données : GitHub