# Dépôts Rocq Prover

<https://repo.masters-masters.com/languages/rocq-prover>

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

## Dépôts Rocq Prover

47 dépôts Rocq Prover au catalogue, du plus étoilé au moins étoilé.

- [AbsInt/CompCert · ★ 2 266 · Rocq Prover · RC](https://repo.masters-masters.com/repos/AbsInt/CompCert)
- [gustavo-depaula/stalin-sort · ★ 1 712 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/gustavo-depaula/stalin-sort)
- [HoTT/Coq-HoTT · ★ 1 407 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/HoTT/Coq-HoTT)
- [formal-land/rocq-of-rust · ★ 1 192 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/formal-land/rocq-of-rust)
- [UniMath/UniMath · ★ 1 022 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/UniMath/UniMath)
- [mit-plv/fiat-crypto · ★ 851 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/mit-plv/fiat-crypto)
- [magmide/magmide · ★ 841 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/magmide/magmide)
- [jwiegley/category-theory · ★ 819 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/jwiegley/category-theory)
- [achlipala/frap · ★ 737 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/achlipala/frap)
- [math-comp/math-comp · ★ 707 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/math-comp/math-comp)
- [uwplse/verdi · ★ 627 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/uwplse/verdi)
- [MetaRocq/metarocq · ★ 567 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/MetaRocq/metarocq)
- [PrincetonUniversity/VST · ★ 515 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/PrincetonUniversity/VST)
- [rocq-prover/vsrocq · ★ 464 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/rocq-prover/vsrocq)
- [jasmin-lang/jasmin · ★ 389 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/jasmin-lang/jasmin)
- [ccz181078/Coq-BB5 · ★ 377 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/ccz181078/Coq-BB5)
- [mit-plv/bedrock2 · ★ 340 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/mit-plv/bedrock2)
- [stepchowfun/proofs · ★ 316 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/stepchowfun/proofs)
- [QuickChick/QuickChick · ★ 296 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/QuickChick/QuickChick)
- [DeepSpec/InteractionTrees · ★ 261 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/DeepSpec/InteractionTrees)
- [rocq-community/fourcolor · ★ 252 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/rocq-community/fourcolor)
- [math-comp/analysis · ★ 246 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/math-comp/analysis)
- [rocq-prover/equations · ★ 238 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/rocq-prover/equations)
- [GeoCoq/GeoCoq · ★ 210 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/GeoCoq/GeoCoq)
- [plclub/sf-in-lean · ★ 199 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/plclub/sf-in-lean)
- [mit-plv/koika · ★ 191 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/koika)
- [theorem-labs/oss-verify-proofs · ★ 189 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/theorem-labs/oss-verify-proofs)
- [CertiRocq/certirocq · ★ 183 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/CertiRocq/certirocq)
- [mit-plv/kami · ★ 173 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/kami)
- [rocq-community/math-classes · ★ 169 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/rocq-community/math-classes)

## Page 1 sur 2

- [Page suivante](https://repo.masters-masters.com/languages/rocq-prover?page=2)

---
Données : GitHub