Ecosyste.ms: Commits

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

GitHub / dafny-lang/dafny committers

Last synced: 4 months ago

Total Commits: 5,731
Total Committers: 126
Total Bot Commits: 24
Total Bot Committers: 1
Avg Commits per committer: 45.484
Development Distribution Score (DDS): 0.789

Commits in the past year: 800
Committers in the past year: 28
Bot Commits in the past year: 16
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 28.571
Development Distribution Score (DDS) in the past year: 0.748

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/dafny-lang/dafny
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fdafny

Name	Email	Commits
Rustan Leino	l**o@m**m	1210
Rustan Leino	l**o@a**m	540
David Cok	d**k@g**m	418
Remy Willems	r**s@a**m	330
Mikaël Mayer	M****r	233
Rustan Leino	r**o@o**m	215
Valentin Wuestholz	w**z@g**m	212
Robin Salkeld	s**r@a**m	206
qunyanm	q**m@h**m	197
Clément Pit--Claudel	c**l@l**m	178
Prathamesh Bang	p**g@a**m	131
Fabio Madge	f**e@a**m	130
Luke Maurer	l**r@g**m	129
davidcok	d**k@a**m	121
Aaron Tomb	a**b@a**m	115
Jack Sturtevant	j**e@a**m	105
Daniel Matichuk	d**k@g**m	105
Jason Koenig	j**g@s**u	88
Clément Pit-Claudel	c****l	79
Bryan Parno	p**o@m**m	79
Aleksandar Milicevic	a**s@c**u	60
Markus Schaden	m**n@g**m	57
Nadia Polikarpova	n**a@g**m	47
davidcok	d**k@g**m	47
James Wilcox	j**2@c**u	43
Aleksandr Fedchin	s**n@g**m	37
Remy Willems	r**s@g**m	33
Samuel Gruetter	k**t@a**m	31
Shadaj Laddad	s****j	28
Dan Rosen	d**r@c**e	26
dependabot[bot] 🤖	4****]	24
Alex Chew	a****w	23
John Tristan	t**b@a**m	23
Matthias Schlaipfer	s**f@a**m	20
Christoph Amrein	c****n	20
Michael Lowell Roberts	m**t@m**m	17
Reza Ahmadi	r**i@u**i	17
Luke Maurer	m**l@a**m	17
prvshah51	8****1	17
Maria Christakis	m**i@m**m	16
ValisStigma	r**r@h**m	16
Bryan Parno	p**o@c**u	15
Chris Hawblitzel	C**l@m**m	15
Bryan Parno	p****o	14
Sean McLaughlin	s**l@a**m	14
Remy Willems	s**m@g**m	13
Alexander Barbe	u**r@e**m	12
Kuat Yessenov	k**t@c**u	12
Jay Lorch	l**h@m**m	11
James Bornholt	b**t@c**u	11
Shaz Qadeer	q**r@m**m	7
Nada Amin	n**n@a**u	7
sorawee	s**e@g**m	6
amaurremi	m**t@u**a	6
Mike Barnett	m**t@m**m	6
Alex Chew	a**w@a**m	6
Federico Poli	f****i	5
Ekanshdeep Gupta	n**h@g**m	5
Jatin Arora	j**9@g**m	5
Richard Ford	r**d@g**m	5
Sascha Böhme	b**s@i**e	5
Jared Junyoung Lim	j**3@g**m	4
Alex Cioc	4****c	4
Siva Somayyajula	s**a@c**u	4
Samuel Gruetter	s**r@e**h	4
Michal Moskal	m**l@m**m	4
James Wilcox	w**y@g**m	4
Fabio Madge	f**o@m**e	4
Bernhard Kragl	b**l@g**m	4
Vihang Patel	v**p@a**m	3
Nathan Taylor	n**r@c**u	3
Matthias Schlaipfer	m**r@g**m	3
Guilherme Vale	o**e@g**m	3
Stefan Zetzsche	1****s	3
Darío Hereñú	m**a@g**m	2
Fabian Hauser	f****r	2
Marianna Rapoport	a****i	2
ghcooper	g****r	2
tobi ajayi	8****0	2
Aaron Tomb	a**b@g**m	2
Craig Disselkoen	c**l@g**m	2
Laure Thompson	t**m@m**m	2
Sean McLaughlin	s**l@g**m	2
hirataqdees	s**s@g**m	2
zafer-esen	z**n@a**m	2
Joshua Gancher	g**r@a**m	2
osavaryb	o****b	1
omer-g	o****g	1
lavaleri	4****i	1
Sydney Gibson	1****s	1
Scott Arciszewski	5****c	1
Roberto Saltini	3****o	1
Richard L Ford	r****d	1
Richard	2****d	1
Malte Schwerhoff	m**f@i**h	1
Luca(Wei) Chen	W**i@c**m	1
Kenny Foner	k**f@v**e	1
James Bornholt	b**t@c**u	1
Jatin Arora	j**a@a**u	1
John Erickson	j**n@g**m	1
John Tristan	j**n@g**m	1
Matthew Sun	m**8@g**m	1
Nathan Taylor	n**r@g**m	1
Peter Müller	p**r@i**h	1
Rosemary Monahan	r**n@n**e	1
Shubham Chaturvedi	a**r@g**m	1
Son HO	s**o@h**m	1
Soroush Zare	i**t@g**m	1
Tej Chajed	t**d@g**m	1
Tej Chajed	t**d@m**u	1
yannickmoy	m**y@a**m	1
yizhou7	y**7@o**m	1
Alastair Donaldson	a**d@a**e	1
Alex Konradi	a**i@g**m	1
Alex Porter	b**3@g**m	1
Augusto Hack	h**o@g**m	1
Daniel Schoepe	d**l@s**g	1
Daniel Schoepe	s**d@a**m	1
David Lilue	d**e@g**m	1
HuStmpHrrr	f**0@h**m	1
Ilya Shchepetkov	i**v@g**m	1
Evgeniy Shishkin	3****e	1
ET	5****n	1
Denis Gorbachev	8****v	1
C. Mangla	c****a	1
x11x	2****x	1

Excludes empty and merge commits.

Name	Email	Commits
Remy Willems	r**s@a**m	202
David Cok	d**k@g**m	116
Robin Salkeld	s**r@a**m	93
Mikaël Mayer	M****r	89
Rustan Leino	l**o@a**m	63
Aaron Tomb	a**b@a**m	55
Fabio Madge	f**e@a**m	47
Shadaj Laddad	s****j	28
Aleksandr Fedchin	s**n@g**m	26
John Tristan	t**b@a**m	22
Alex Chew	a****w	16
dependabot[bot] 🤖	4****]	16
Ekanshdeep Gupta	n**h@g**m	5
Siva Somayyajula	s**a@c**u	4
Stefan Zetzsche	1****s	3
zafer-esen	z**n@a**m	2
Sean McLaughlin	s**l@g**m	2
Tej Chajed	t**d@g**m	1
Clément Pit-Claudel	c****l	1
Denis Gorbachev	8****v	1
ET	5****n	1
Richard	2****d	1
Shubham Chaturvedi	a**r@g**m	1
Ilya Shchepetkov	i**v@g**m	1
Daniel Schoepe	s**d@a**m	1
Daniel Schoepe	d**l@s**g	1
Augusto Hack	h**o@g**m	1
Alex Porter	b**3@g**m	1

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