GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
rocq-prover
/
opam
Public
Archive for all Rocq and Coq-related opam packages organized in various repositories
GNU Lesser General Public License v2.1
Updated Feb 3, 2026
Created May 27, 2015
View on GitHub
160
stars
177
forks
14
watchers
37
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
PA
palmskog
2270 commits
CL
clarus
1520 commits
GA
gares
600 commits
SI
silene
490 commits
PR
proux01
476 commits
MA
mattam82
282 commits
AF
affeldt-aist
174 commits
JA
JasonGross
151 commits
MS
MSoegtropIMC
134 commits
LI
liyishuai
121 commits
Recent Stargazers
CL
clarus
over 10 years ago
AA
aa755
over 10 years ago
TU
tuong
over 10 years ago
AV
avsm
over 10 years ago
MT
mthom
over 10 years ago
ME
mereogeometry
about 10 years ago
BI
bixuanzju
almost 10 years ago
AM
amintimany
almost 10 years ago
TB
tbrk
almost 10 years ago
PA
palmskog
about 9 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
13,437
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 7
Closed Issues 93
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 3, 2026 • 4 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.