GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
ysangkok
/
idris2-pack-db
Public
No description provided.
BSD 3-Clause "New" or "Revised" License
Updated Jan 22, 2026
Created Jan 22, 2026
View on GitHub
0
stars
0
forks
0
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
No language data available
Top Contributors
GI
github-actions[bot]
1324 commits
ST
stefan-hoeck
173 commits
BU
buzden
19 commits
JO
joelberkeley
9 commits
AN
andrevidela
8 commits
RU
running-grass
8 commits
Z-
Z-snails
6 commits
KB
kbertalan
6 commits
YS
ysangkok
5 commits
TO
tokinanpa
4 commits
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
166,482
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 0
Open Issues
0
Activity Peak
Most recent day with highest activity
Jan 23, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.
No stars/forks history data available