lean4export committers

Last synced: 3 days ago

Total Commits: 83
Total Committers: 10
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 8.3
Development Distribution Score (DDS): 0.699

Commits in the past year: 66
Committers in the past year: 7
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 9.429
Development Distribution Score (DDS) in the past year: 0.621

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/leanprover/lean4export
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4export

Name	Email	Commits
Joachim Breitner	m**l@j**e	25
Garmelon	j**a@p**e	13
Kim Morrison	k**m@t**t	12
ammkrn	c**s@c**m	10
Sebastian Ullrich	s**i@n**h	8
Henrik Böving	h**x@g**m	7
Auguste Poiroux	a**x@g**m	3
Siddhartha Gadgil	s**l@g**m	2
Mario Carneiro	d**a@g**m	2
Rob Simmons	r**b@l**g	1

Excludes empty and merge commits.

Name	Email	Commits
Joachim Breitner	m**l@j**e	25
Garmelon	j**a@p**e	13
Kim Morrison	k**m@t**t	12
ammkrn	c**s@c**m	8
Henrik Böving	h**x@g**m	4
Auguste Poiroux	a**x@g**m	3
Rob Simmons	r**b@l**g	1

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

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

GitHub / leanprover/lean4export committers