agda-stdlib committers

Last synced: over 2 years ago

Total Commits: 3,051
Total Committers: 157
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 19.433
Development Distribution Score (DDS): 0.612

Commits in the past year: 132
Committers in the past year: 31
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 4.258
Development Distribution Score (DDS) in the past year: 0.833

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

Name	Email	Commits
Nils Anders Danielsson	n**n@g**m	1183
MatthewDaggitt	m**t@g**m	555
G. Allais	g**s@e**g	285
Andrés Sicard-Ramírez	a**r@e**o	170
Ulf Norell	u**n@c**e	106
Andreas Abel	a**l@i**e	71
Nils Anders Danielsson	n**d@c**e	58
Nicolas Pouillard	n**d@g**m	42
Nathan van Doorn	n**4@g**m	36
Akshobhya K M	a**m@g**m	33
jamesmckinna	3**a@u**m	32
Matthew Daggitt	m**6@c**k	31
Jacques Carette	c**e@m**a	29
James McKinna	J**a@h**k	16
Jesper Cockx	j**r@s**e	16
Maciej Piechotka	u**2@g**m	11
Stevan Andjelkovic	s**c@s**k	11
James Wood	l**i@g**m	10
Shin-Cheng Mu	s**m@i**w	10
mechvel	m**l@u**m	10
Uma Zalakain	p**g@u**o	9
herminie	4**h@u**m	9
Sandro Stucki	s**i@g**m	9
Liang-Ting Chen	l**w@g**m	8
Philipp Hausmann	p**t@3**h	8
Donnacha Oisín Kidney	m**l@d**m	7
Milo	i**s@g**m	7
Jason Hu	f**0@h**m	6
Pepijn Kokke	p**e@g**m	6
Dominique Devriese	d**e@c**e	6
Brad Hardy	b**y@l**m	6
Fabian	b**n@g**m	6
Conal Elliott	c**l@c**t	6
Joachim Breitner	m**l@j**e	6
Donnacha Oisín Kidney	o**k@u**m	5
Apostolis Xekoukoulotakis	a**s@g**m	5
Alex Rice	a**9@h**k	5
Harrison Grodin	h**n@a**u	5
M Farkas-Dyck	s**8@g**m	5
James Wood	j**y@g**m	5
Arjen Jonathan	a**t@g**m	5
Noam Zeilberger	n**r@g**m	5
Lex van der Stoep	l**p@g**m	4
Eric Mertens	e**s@g**m	4
Guilherme Silva	g**s@h**m	4
Reed Mullanix	r**x@g**m	4
Fredrik Nordvall Forsberg	f**g@s**k	4
Jason Hu	H**r@u**m	4
Gergő Érdi	g**o@e**u	4
Liang-Ting Chen	x**l@i**w	4
Xiaohu Wang	x**1@g**m	4
Robert Estelle	r**e@g**m	4
elsanussi-s-mneina	5**a@u**m	4
Simon Johansson	s**n@f**e	3
Octavian Mircea Sebe	m**e@y**m	3
Xia Li-yao	L**a@u**m	3
pnlph	n**p@f**m	3
James Chapman	j**n@g**m	3
Wen Kokke	w**e@u**m	3
Zambonifofex	z**x@g**m	3
Rei	s**9@g**m	3
Helmut Grohne	g**e@c**e	3
Alice Laroche	6**1@u**m	3
Akshobhya K M	3**4@u**m	3
David Banas	c**o@g**m	3
XuanyanLong	5**1@u**m	3
Andrea Vezzosi	s**n@g**m	3
Liyang HU	d**s@l**u	3
turion	m**l@e**e	3
Simon Foster	S**r@d**k	3
damhiya	d**a@g**m	2
Amélia Liao	m**e@a**w	2
Danny Navarro	j**@d**t	2
Jordan Barrett	9**2@u**m	2
István Donkó	i**o@g**m	2
Chris	c**d@u**m	2
Dominique Devriese	d**e@v**e	2
Markus Wageringel	3**l@u**m	2
Lucas Escot	f**e@u**m	2
Paolo G. Giarrusso	p**o@g**m	2
Octavian Mircea Sebe	o**7@s**k	2
Calin Tataru	c**t@g**m	2
Daniil Kisel	5**l@u**m	2
Samuel Bronson	n**n@g**m	2
jake	r**d@r**e	2
Alan Jeffrey	a**y@b**m	1
Ahmad Salim Al-Sibahi	a**l@i**k	1
Gilles Coremans	g**s@g**m	1
Dan Doel	d**l@g**m	1
Adam Krupicka	a**r@m**z	1
0xd34df00d	0**d@g**m	1
=	=****	1
Egbert Rijke	e**e@g**m	1
Andreas Källberg	a**3@g**m	1
Fangyi Zhou	m**e@f**o	1
Alexander Ben Nasrallah	m**e@a**h	1
Armando Santos	a**s@g**m	1
Bob Atkey	b**y@u**m	1
Darin Morrison	d**m@c**k	1
Callan McGill	c**l@g**m	1
Daniel Brown	d**n@c**u	1
Carlos Tomé	c**0@g**m	1
Ed Nutting	1**g@u**m	1
Alex Hubers	a**5@c**u	1
Edward Nutting	e**g@o**m	1
Jamie Lowenthal	j**l@u**m	1
Ingo Blechschmidt	i**h@w**e	1
Dylan Ede	d**e@g**m	1
Ed Nutting	e**d@b**m	1
Jonathan Castello	t**l@j**m	1
Jannis Limperg	j**s@l**e	1
Francesco Gazzetta	f**z@f**e	1
Guilhem Moulin	g**n@c**e	1
Helmut Grohne	h**t@s**e	1
Evgeny Kotelnikov	e**v@g**m	1
Leonhard Markert	c**o@u**m	1
David Sheets	s**s@a**u	1
Mathieu Montin	m**n@e**r	1
Jean-Philippe Bernardy	j**y@g**m	1
Malin Altenmüller	m**r@s**k	1
JorisCeulemans	j**s@h**m	1
Robert Estelle	r**e@g**m	1
Patrik Jansson	p**j@c**e	1
Orestis Melkonian	m**r@g**m	1
Ryan Orendorff	1**f@u**m	1
Sergey Goncharov	6**v@u**m	1
Liam O'Connor	w**g@g**m	1
Sean Seefried	s**n@s**u	1
Musa Al-hassy	a**y@g**m	1
Jinwoo Lee	j**o@g**m	1
Uncle Betty	3**y@u**m	1
Tesla Ice Zhang	9**3@q**m	1
JorisCeulemans	j**s@v**e	1
Yuxuan Dai	d**r@g**m	1
Zack Grannan	z**n@p**m	1
cmcmA20	c**0@p**e	1
flicky frans	f**s@g**m	1
Wen Kokke	w**e@g**m	1
jamesmckinna	j**a@h**k	1
doyougnu	j**2@g**m	1
jake	l**d@g**m	1
identicalsnowflake	i**e@y**m	1
Peter Berry	p**y@g**m	1
Stefan Holdermans	s**n@h**l	1
Felix Yan	f**s@a**g	1
effectfully	e**y@g**m	1
rubenpieters	r**s@u**m	1
Tony Beta Lambda	t**a@g**m	1
Tomas Möre	t**e@g**m	1
Víctor López Juan	v**r@l**m	1
Guannan Wei	k**s@g**m	1
laMudri	l**i@g**m	1
dm606	d**9@g**m	1
negiizhao	e**f@g**m	1
Noriyuki OHKAWA	n**a@g**m	1
Splinter Suidman	s**r@m**l	1
Scott Godwin	s**s@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
jamesmckinna	3**a@u**m	22
James McKinna	J**a@h**k	16
Akshobhya K M	a**m@g**m	14
MatthewDaggitt	m**t@g**m	12
G. Allais	g**s@e**g	11
Nathan van Doorn	n**4@g**m	10
Harrison Grodin	h**n@a**u	5
Alice Laroche	6**1@u**m	3
David Banas	c**o@g**m	3
Nils Anders Danielsson	n**d@c**e	3
Xia Li-yao	L**a@u**m	3
Jacques Carette	c**e@m**a	3
XuanyanLong	5**1@u**m	3
Guilherme Silva	g**s@h**m	2
Daniil Kisel	5**l@u**m	2
Amélia Liao	m**e@a**w	2
Xiaohu Wang	x**1@g**m	2
James Wood	j**y@g**m	2
Andreas Abel	a**l@i**e	2
Orestis Melkonian	m**r@g**m	1
Callan McGill	c**l@g**m	1
Andrés Sicard-Ramírez	a**r@e**o	1
Ulf Norell	u**n@c**e	1
Alex Hubers	a**5@c**u	1
Sandro Stucki	s**i@g**m	1
Scott Godwin	s**s@g**m	1
Armando Santos	a**s@g**m	1
Uncle Betty	3**y@u**m	1
Yuxuan Dai	d**r@g**m	1
cmcmA20	c**0@p**e	1
jamesmckinna	j**a@h**k	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 / agda/agda-stdlib committers