GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
liyishuai
/
opam
Public
Archive for all Coq related OPAM packages organized in various repositories
GNU Lesser General Public License v2.1
Updated Feb 3, 2026
Created Sep 23, 2019
View on GitHub
0
stars
1
forks
0
watchers
0
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
Repository Complexity
Approximate file count and repository size.
Files
0
Size (KB)
13,445
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 100
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 3, 2026 • 5 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.