dafny committers

Dafny is a verification-aware programming language

Last synced: about 3 hours ago

Total Commits: 6,363
Total Committers: 126
Total Bot Commits: 61
Total Bot Committers: 1
Avg Commits per committer: 50.5
Development Distribution Score (DDS): 0.81

Commits in the past year: 65
Committers in the past year: 11
Bot Commits in the past year: 23
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 5.909
Development Distribution Score (DDS) in the past year: 0.646

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/dafny-lang/dafny
View commits: View all commits
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	822
Remy Willems	r**s@a**m	582
David Cok	d**k@g**m	418
Mikaël Mayer	M****r	359
Clément Pit--Claudel	c**l@l**m	257
Robin Salkeld	s**r@a**m	245
Valentin Wuestholz	w**z@g**m	212
qunyanm	q**m@h**m	197
Fabio Madge	f**e@a**m	179
Aaron Tomb	a**b@a**m	142
Prathamesh Bang	p**g@a**m	131
Luke Maurer	l**r@g**m	129
davidcok	d**k@a**m	121
Daniel Matichuk	d**k@g**m	105
Jack Sturtevant	j**e@a**m	105
Jason Koenig	j**g@s**u	88
Bryan Parno	p**o@m**m	79
dependabot[bot] 🤖	4****]	61
Aleksandar Milicevic	a**s@c**u	60
Markus Schaden	m**n@g**m	57
Alex Chew	a****w	49
davidcok	d**k@g**m	47
James Wilcox	j**2@c**u	47
Nadia Polikarpova	n**a@g**m	47
Aleksandr Fedchin	s**n@g**m	39
Samuel Gruetter	k**t@a**m	35
Bryan Parno	p**o@c**u	29
Shadaj Laddad	s****j	28
Dan Rosen	d**r@c**e	26
John Tristan	t**b@a**m	24
Matthias Schlaipfer	s**f@a**m	23
Christoph Amrein	c****n	20
Luke Maurer	m**l@a**m	17
Reza Ahmadi	r**i@u**i	17
Michael Lowell Roberts	m**t@m**m	17
prvshah51	8****1	17
Maria Christakis	m**i@m**m	16
Sean McLaughlin	s**l@a**m	16
ValisStigma	r**r@h**m	16
Chris Hawblitzel	C**l@m**m	15
Kuat Yessenov	k**t@c**u	12
Alexander Barbe	u**r@e**m	12
James Bornholt	b**t@c**u	12
Jay Lorch	l**h@m**m	11
Stefan Zetzsche	1****s	10
olivier-aws	o**o@a**m	10
amaurremi	m**t@u**a	8
Shaz Qadeer	q**r@m**m	7
Nada Amin	n**n@a**u	7
Jatin Arora	j**9@g**m	7
Siva Somayyajula	s**a@c**u	7
sorawee	s**e@g**m	6
Richard Ford	r**d@g**m	6
Andrew Jewell	1****z	6
Mike Barnett	m**t@m**m	6
Ekanshdeep Gupta	n**h@g**m	5
Federico Poli	f****i	5
Sascha Böhme	b**s@i**e	5
Alex Cioc	4****c	4
Bernhard Kragl	b**l@g**m	4
Jared Junyoung Lim	j**3@g**m	4
Khairul Azhar Kasmiran	k**y@g**m	4
Michal Moskal	m**l@m**m	4
Yuyang Liu	6****o	4
zafer-esen	z**n@a**m	4
Nathan Taylor	n**r@c**u	4
Raphael Das Gupta	g**m@r**h	4
Daniel Schoepe	s**d@a**m	3
Vihang Patel	v**p@a**m	3
Shubham Chaturvedi	a**r@g**m	3
Lucas McDonald	l**3@g**m	3
Guilherme Vale	o**e@g**m	3
Joshua Gancher	g**r@a**m	2
Laure Thompson	t**m@m**m	2
Tej Chajed	t**d@g**m	2
ET	5****n	2
tobi ajayi	8****0	2
hirataqdees	s**s@g**m	2
ghcooper	g****r	2
Samuel Chassot	1****t	2
Alex Porter	b**3@g**m	2
Aosen Xiong	8****g	2
Fabian Hauser	f****r	2
Darío Hereñú	m**a@g**m	2
Craig Disselkoen	c**l@g**m	2
Son HO	s**o@h**m	1
Scott Arciszewski	5****c	1
Rosemary Monahan	r**n@n**e	1
Roberto Saltini	3****o	1
Richard	2****d	1
Peter Müller	p**r@i**h	1
Matthew Sun	m**8@g**m	1
Alastair Donaldson	a**d@a**e	1
Sydney Gibson	1****s	1
Tim Rakowski	t**i@g**m	1
cαng	c**7@g**m	1
lavaleri	4****i	1
omer-g	o****g	1
osavaryb	o****b	1
x11x	2****x	1
yannickmoy	m**y@a**m	1
yizhou7	y**7@o**m	1
zeertzjq	z**q@o**m	1
Emmanuel Ferdman	e**n@g**m	1
Denis Gorbachev	8****v	1
David Lilue	d**e@g**m	1
Daniel Nezamabadi	5****m	1
C. Mangla	c****a	1
BurstingF	3****F	1
Bua	7****a	1
Bhaveshb-bytes	b**8@g**m	1
Augusto Hack	h**o@g**m	1
Armin Vakil	a**l@g**m	1
Alex Konradi	a**i@g**m	1
Evgeniy Shishkin	3****e	1
HuStmpHrrr	f**0@h**m	1
Ilya Shchepetkov	i**v@g**m	1
Isabel Amaral	i**l@g**m	1
John Erickson	j**n@g**m	1
Kenny Foner	k**f@v**e	1
Luca(Wei) Chen	W**i@c**m	1
Malte Schwerhoff	m**f@i**h	1
Sukka	i**w@g**m	1
Soroush Zare	i**t@g**m	1
Álvaro Silva	a**a@h**m	1

Excludes empty and merge commits.

Name	Email	Commits
dependabot[bot] 🤖	4****]	23
Fabio Madge	f**e@a**m	13
Rustan Leino	l**o@a**m	8
Robin Salkeld	s**r@a**m	7
Mikaël Mayer	M****r	5
Yuyang Liu	6****o	4
Álvaro Silva	a**a@h**m	1
olivier-aws	o**o@a**m	1
cαng	c**7@g**m	1
Shubham Chaturvedi	a**r@g**m	1
Bhaveshb-bytes	b**8@g**m	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 / dafny-lang/dafny committers