Top Coq Organizations
SrcLog ranks 5 Coq organizations on GitHub by the total stars of their public repositories. Together they hold 314 stars. The most-starred is certichain with 126 stars across 3 repositories. Updated daily.
-
1
certichain — Coq ⭐ 126 · 🍴 14 · 👀 23 · 3 repos 3 126 14 23
-
2
DistributedComponents — Coq ⭐ 115 · 🍴 13 · 👀 25 · 3 repos 3 115 13 25
-
3
querycert — Coq ⭐ 60 · 🍴 10 · 👀 4 · 1 repos 1 60 10 4
-
4
Coq-Polyhedra — Coq ⭐ 11 · 🍴 3 · 👀 11 · 1 repos 1 11 3 11
-
5
kaist-cp — Coq ⭐ 2 · 🍴 0 · 👀 2 · 1 repos 1 2 0 2
Other technologies
- Top JavaScript organizations
- Top TypeScript organizations
- Top Python organizations
- Top Go organizations
- Top Java organizations
- Top PHP organizations
- Top C++ organizations
- Top Rust organizations
- Top C# organizations
- Top HTML organizations
- Top C organizations
- Top Shell organizations
- Top Ruby organizations
- Top Swift organizations
- Top Kotlin organizations
- Top CSS organizations
- Top Jupyter Notebook organizations
- Top Vue organizations
- Top Scala organizations
- Top Dart organizations
- Top Elixir organizations
- Top SCSS organizations
- Top Lua organizations
- Top Clojure organizations
- Top Haskell organizations
- Top R organizations
- Top Dockerfile organizations
- Top TeX organizations
- Top Objective-C organizations
- Top Perl organizations