An open API service providing commit metadata for open source projects.

GitHub / agda/agda-language-server committers

Language Server for Agda

Last synced: 6 days ago

Total Commits: 354
Total Committers: 9
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 39.333
Development Distribution Score (DDS): 0.189
Commits in the past year: 78
Committers in the past year: 3
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 26.0
Development Distribution Score (DDS) in the past year: 0.346

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/agda/agda-language-server
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server

Name Email Commits
Ting-Gian LUA b****n@g****m 287
Andy Pan a****w@y****w 25
Andreas Abel a****l@i****e 22
Liang-Ting Chen l****w@g****m 14
Julia Path j****a@j****e 2
ㄗㄠˋ ㄑㄧˊ t****i@t****g 1
wldhx w****x@w****e 1
Franklin Chen f****n@f****m 1
Alba Mendez a****z@d****m 1

Excludes empty and merge commits.

Name Email Commits
Ting-Gian LUA b****n@g****m 51
Andy Pan a****w@y****w 25
Julia Path j****a@j****e 2

Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.