# GitHub repos by rocq-community

<https://repo.masters-masters.com/en/owners/rocq-community>

[Home](https://repo.masters-masters.com/en) › [rocq-community](https://repo.masters-masters.com/en/owners/rocq-community)

All 9 public GitHub repos by rocq-community in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by rocq-community

9 public repos by rocq-community in the catalog, most starred first.

- [rocq-community/rocq-tricks · ★ 556 · Coq · Alpha](https://repo.masters-masters.com/en/repos/rocq-community/rocq-tricks)
- [rocq-community/awesome-coq · ★ 397 · Alpha](https://repo.masters-masters.com/en/repos/rocq-community/awesome-coq)
- [rocq-community/fourcolor · ★ 253 · Rocq Prover · Alpha](https://repo.masters-masters.com/en/repos/rocq-community/fourcolor)
- [rocq-community/rocq-lsp · ★ 212 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/rocq-lsp)
- [rocq-community/math-classes · ★ 169 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/math-classes)
- [rocq-community/coq-ext-lib · ★ 136 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/coq-ext-lib)
- [rocq-community/coq-art · ★ 131 · Coq · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/coq-art)
- [rocq-community/corn · ★ 117 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/corn)
- [rocq-community/coq-dpdgraph · ★ 103 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/coq-dpdgraph)

## See rocq-community on GitHub

- [https://github.com/rocq-community](https://github.com/rocq-community)

---
Data: GitHub