GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
agda
/
agda-stdlib
Public
The Agda standard library
Other
Updated Feb 3, 2026
Created Jan 17, 2014
View on GitHub
644
stars
260
forks
24
watchers
346
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
NA
nad
1244 commits
MA
MatthewDaggitt
666 commits
GA
gallais
308 commits
JA
jamesmckinna
261 commits
AS
asr
210 commits
AN
andreasabel
120 commits
UL
UlfNorell
116 commits
JM
jmougeot
72 commits
TA
Taneb
57 commits
JA
JacquesCarette
49 commits
Recent Stargazers
YA
yallop
about 12 years ago
MA
maggesi
about 12 years ago
GA
gallais
about 12 years ago
NP
np
about 12 years ago
BE
bens
about 12 years ago
CS
csgordon
about 12 years ago
TI
timjb
about 12 years ago
CO
copumpkin
about 12 years ago
DM
dmalikov
about 12 years ago
TI
timothyklim
about 12 years ago
Repository Complexity
Approximate file count and repository size.
Files
912
Size (KB)
612,211
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 43
Closed Issues 57
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 5, 2026 • 13 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.