Top Rocq Prover Organizations

SrcLog ranks 9 Rocq Prover organizations on GitHub by the total stars of their public repositories. Together they hold 5,749 stars. The most-starred is AbsInt with 2,269 stars across 1 repository. Updated daily.

Developers Organizations
Reset
  1. 1 AbsInt avatar AbsInt 🇩🇪 Germany Rocq Prover ⭐ 2.3k · 🍴 270 · 👀 62 · 1 repos
  2. 2 uwplse avatar uwplse UW PLSE 🇺🇸 United States Rocq Prover ⭐ 901 · 🍴 87 · 👀 190 · 4 repos
  3. 3 PrincetonUniversity avatar PrincetonUniversity Rocq Prover ⭐ 830 · 🍴 184 · 👀 36 · 5 repos
  4. 4 coq-community avatar coq-community Following the renaming of the Coq proof assistant into the Rocq Prover, this organization has been renamed to Rocq-community. Rocq Prover ⭐ 746 · 🍴 208 · 👀 47 · 7 repos
  5. 5 jasmin-lang avatar jasmin-lang Rocq Prover ⭐ 389 · 🍴 88 · 👀 8 · 1 repos
  6. 6 QuickChick avatar QuickChick Rocq Prover ⭐ 296 · 🍴 52 · 👀 14 · 1 repos
  7. 7 CertiCoq avatar CertiCoq Rocq Prover ⭐ 183 · 🍴 45 · 👀 16 · 1 repos
  8. 8 plclub avatar plclub Rocq Prover ⭐ 96 · 🍴 11 · 👀 11 · 1 repos
  9. 9 logsem avatar logsem Rocq Prover ⭐ 39 · 🍴 8 · 👀 8 · 1 repos

Other technologies