# Dépôts Coq

<https://repo.masters-masters.com/languages/coq>

[Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [Coq](https://repo.masters-masters.com/languages/coq)

Les 29 dépôts Coq open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun.

## Dépôts Coq

29 dépôts Coq au catalogue, du plus étoilé au moins étoilé.

- [rocq-community/rocq-tricks · ★ 556 · Coq · Alpha](https://repo.masters-masters.com/repos/rocq-community/rocq-tricks)
- [princeton-vl/CoqGym · ★ 422 · Coq · Alpha](https://repo.masters-masters.com/repos/princeton-vl/CoqGym)
- [antalsz/hs-to-coq · ★ 283 · Coq · Alpha](https://repo.masters-masters.com/repos/antalsz/hs-to-coq)
- [lulinchen/cnn\_open · ★ 262 · Coq · Alpha](https://repo.masters-masters.com/repos/lulinchen/cnn_open)
- [mit-pdos/fscq · ★ 252 · Coq · Alpha](https://repo.masters-masters.com/repos/mit-pdos/fscq)
- [hacspec/hacspec · ★ 250 · Coq · Alpha](https://repo.masters-masters.com/repos/hacspec/hacspec)
- [UniMath/Foundations · ★ 247 · Coq · Prototype](https://repo.masters-masters.com/repos/UniMath/Foundations)
- [sifive/Kami · ★ 232 · Coq · Prototype](https://repo.masters-masters.com/repos/sifive/Kami)
- [jscert/jscert · ★ 208 · Coq · Prototype](https://repo.masters-masters.com/repos/jscert/jscert)
- [barry-jay-personal/tree-calculus · ★ 206 · Coq · Prototype](https://repo.masters-masters.com/repos/barry-jay-personal/tree-calculus)
- [uwplse/verdi-raft · ★ 204 · Coq · Prototype](https://repo.masters-masters.com/repos/uwplse/verdi-raft)
- [clarus/coq-chick-blog · ★ 181 · Coq · Prototype](https://repo.masters-masters.com/repos/clarus/coq-chick-blog)
- [ilyasergey/pnp · ★ 178 · Coq · Prototype](https://repo.masters-masters.com/repos/ilyasergey/pnp)
- [jwiegley/coq-haskell · ★ 171 · Coq · Prototype](https://repo.masters-masters.com/repos/jwiegley/coq-haskell)
- [accordproject/ergo · ★ 171 · Coq · Prototype](https://repo.masters-masters.com/repos/accordproject/ergo)
- [discus-lang/iron · ★ 145 · Coq · Prototype](https://repo.masters-masters.com/repos/discus-lang/iron)
- [Lysxia/advent-of-coq-2018 · ★ 141 · Coq · Prototype](https://repo.masters-masters.com/repos/Lysxia/advent-of-coq-2018)
- [rocq-archive/coq-serapi · ★ 136 · Coq · Prototype](https://repo.masters-masters.com/repos/rocq-archive/coq-serapi)
- [project-oak/silveroak · ★ 133 · Coq · Prototype](https://repo.masters-masters.com/repos/project-oak/silveroak)
- [rocq-community/coq-art · ★ 131 · Coq · Prototype](https://repo.masters-masters.com/repos/rocq-community/coq-art)
- [verse-lab/ceramist · ★ 127 · Coq · Prototype](https://repo.masters-masters.com/repos/verse-lab/ceramist)
- [PrimeMHD/FPGA\_ThreeLevelStorage · ★ 120 · Coq · Prototype](https://repo.masters-masters.com/repos/PrimeMHD/FPGA_ThreeLevelStorage)
- [inQWIRE/QWIRE · ★ 113 · Coq · Prototype](https://repo.masters-masters.com/repos/inQWIRE/QWIRE)
- [verse-lab/toychain · ★ 113 · Coq · Prototype](https://repo.masters-masters.com/repos/verse-lab/toychain)
- [clarus/falso · ★ 105 · Coq · Prototype](https://repo.masters-masters.com/repos/clarus/falso)
- [jonleivent/mindless-coding · ★ 104 · Coq · Prototype](https://repo.masters-masters.com/repos/jonleivent/mindless-coding)
- [Ptival/PeaCoq · ★ 104 · Coq · Prototype](https://repo.masters-masters.com/repos/Ptival/PeaCoq)
- [DistributedComponents/disel · ★ 103 · Coq · Prototype](https://repo.masters-masters.com/repos/DistributedComponents/disel)
- [amintimany/Categories · ★ 101 · Coq · Prototype](https://repo.masters-masters.com/repos/amintimany/Categories)

---
Données : GitHub