agda-stdlib committers

Last synced: 2 days ago

Total Commits: 3,609
Total Committers: 175
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 20.623
Development Distribution Score (DDS): 0.656

Commits in the past year: 178
Committers in the past year: 24
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 7.417
Development Distribution Score (DDS) in the past year: 0.635

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	1242
MatthewDaggitt	m**t@g**m	608
G. Allais	g**s@e**g	303
jamesmckinna	3****a	266
Andrés Sicard-Ramírez	a**r@e**o	170
Ulf Norell	u**n@c**e	106
Andreas Abel	a**l@i**e	96
Jacques	1****t	72
Nathan van Doorn	n**4@g**m	58
Jacques Carette	c**e@m**a	49
Nicolas Pouillard	n**d@g**m	42
Akshobhya K M	a**m@g**m	38
Saransh Chopra	s**1@g**m	34
Matthew Daggitt	m**6@c**k	31
James Wood	l**i@g**m	19
Jesper Cockx	j**r@s**e	16
Guilherme Silva	g**s@h**m	13
herminie	4****h	12
Donnacha Oisín Kidney	m**l@d**m	12
Stevan Andjelkovic	s**c@s**k	11
Maciej Piechotka	u**2@g**m	11
mechvel	m****l	10
Shin-Cheng Mu	s**m@i**w	10
Jason Hu	f**0@h**m	10
Sofia El Boufi--Crouzet	1****a	9
Sandro Stucki	s**i@g**m	9
Uma Zalakain	p**g@u**o	9
Dominique Devriese	d**e@c**e	8
shuhung	s****u	8
Philipp Hausmann	p**t@3**h	8
Liang-Ting Chen	l**w@g**m	8
Alex Rice	a**9@h**k	8
Milo	i**s@g**m	7
Joachim Breitner	m**l@j**e	6
Conal Elliott	c**l@c**t	6
Pepijn Kokke	p**e@g**m	6
Fabian	b**n@g**m	6
Brad Hardy	b**y@l**m	6
Harrison Grodin	h**n@a**u	5
Chris	c****d	5
Bradley Saul	b**l@f**m	5
Arjen Jonathan	a**t@g**m	5
Apostolis Xekoukoulotakis	a**s@g**m	5
Alba Mendez	m**e@a**h	5
Lex van der Stoep	l**p@g**m	5
M Farkas-Dyck	s**8@g**m	5
Noam Zeilberger	n**r@g**m	5
Amélia Liao	m**e@a**w	5
Robert Estelle	r**e@g**m	5
Carlos Tomé Cortiñas	c**s@g**m	5
Eric Mertens	e**s@g**m	4
Fredrik Nordvall Forsberg	f**g@s**k	4
Gergő Érdi	g**o@e**u	4
Orestis Melkonian	m**r@g**m	4
Reed Mullanix	r**x@g**m	4
elsanussi-s-mneina	5****a	4
Xiaohu Wang	x**1@g**m	4
Liang-Ting Chen	x**l@i**w	4
Wen Kokke	w****e	4
Paul Bittner	p**r@u**e	4
Uncle Betty	3****y	3
Alice Laroche	6****1	3
Andrea Vezzosi	s**n@g**m	3
David Banas	c**o@g**m	3
Xia Li-yao	L****a	3
XuanyanLong	5****1	3
turion	m**l@e**e	3
damhiya	d**a@g**m	3
Rei	s**9@g**m	3
Simon Johansson	s**n@f**e	3
Octavian Mircea Sebe	m**e@y**m	3
James Chapman	j**n@g**m	3
Liyang HU	d**s@l**u	3
Simon Foster	S**r@d**k	3
Helmut Grohne	g**e@c**e	3
Zambonifofex	z**x@g**m	3
Lucas Escot	f****e	2
Markus Wageringel	3****l	2
Jordan Barrett	9****2	2
Jakub Kopański	j**b@f**l	2
Paolo G. Giarrusso	p**o@g**m	2
Octavian Mircea Sebe	o**7@s**k	2
jake	r**d@r**e	2
István Donkó	i**o@g**m	2
Danny Navarro	j**@d**t	2
Calin Tataru	c**t@g**m	2
Andre Knispel	a**l@g**e	2
Ambroise	c**r@h**r	2
Ruifeng Xie	r**x@o**m	2
Samuel Bronson	n**n@g**m	2
e-mniang	m**u@g**m	2
Dan Doel	d**l@g**m	2
Daniil Kisel	5****l	2
Ed Nutting	1****g	2
JorisCeulemans	j**s@v**e	2
Piotr Paradziński	p**i@g**m	1
Evgeny Kotelnikov	e**v@g**m	1
Tesla Ice Zhang	9**3@q**m	1
Thorsten Wißmann	s**2@t**e	1
Tomas Möre	t**e@g**m	1
Tony Beta Lambda	t**a@g**m	1
Tsung-Ju Chiang	7****u	1
Víctor López Juan	v**r@l**m	1
Yuxuan Dai	d**r@g**m	1
Zack Grannan	z**n@p**m	1
Ryan Orendorff	1****f	1
Samuel	0**0@g**m	1
Satoshi Takimoto	w**t@g**m	1
Scott Godwin	s**s@g**m	1
Sean Seefried	s**n@s**u	1
Sergey Goncharov	6****v	1
Splinter Suidman	s**r@m**l	1
Stefan Holdermans	s**n@h**l	1
Patrik Jansson	p**j@c**e	1
Peter Berry	p**y@g**m	1
rubenpieters	r****s	1
onestruggler	b**n@d**a	1
negiizhao	e**f@g**m	1
identicalsnowflake	i**e@y**m	1
fredins	f**n@g**m	1
flicky frans	f**s@g**m	1
effectfully	e**y@g**m	1
doyougnu	j**2@g**m	1
dm606	d**9@g**m	1
Alan Jeffrey	a**y@b**m	1
Ahmad Salim Al-Sibahi	a**l@i**k	1
=	=****	1
Carlos Tomé	c**0@g**m	1
Daniel Brown	d**n@c**u	1
Ed Nutting	e**d@b**m	1
Guilhem Moulin	g**n@c**e	1
Mathieu Montin	m**n@e**r	1
jake	l**d@g**m	1
cmcmA20	c**0@p**e	1
Noriyuki OHKAWA	n**a@g**m	1
Guannan Wei	k**s@g**m	1
Gilles Coremans	g**s@g**m	1
Gan Shen	g**n@i**m	1
Francesco Gazzetta	f**z@f**e	1
Felix Yan	f**s@a**g	1
Fangyi Zhou	m**e@f**o	1
0xd34df00d	0**d@g**m	1
Egbert Rijke	e**e@g**m	1
Dylan Ede	d**e@g**m	1
David Sheets	s**s@a**u	1
Darin Morrison	d**m@c**k	1
Leonhard Markert	c****o	1
Adam Krupicka	a**r@m**z	1
Alex Hubers	a**5@c**u	1
Alexander Ben Nasrallah	m**e@a**h	1
Andreas Källberg	a**3@g**m	1
Andrés Ortega	a**3@g**m	1
Armando Santos	a**s@g**m	1
Bob Atkey	b****y	1
Callan McGill	c**l@g**m	1
Naïm Favier	n**@m**i	1
Musa Al-hassy	a**y@g**m	1
Maximilien Tirard	m**d@i**m	1
Maxim Ivanov	u**o@g**m	1
Marshall Abrams	m****i	1
Malin Altenmüller	m**r@s**k	1
Liam O'Connor	w**g@g**m	1
rvs314	7****4	1
Junyoung/"Clare" Jang	j**0@g**m	1
Jonathan Castello	t**l@j**m	1
Jinwoo Lee	j**o@g**m	1
Jesin	j**0@g**m	1
Jean-Philippe Bernardy	j**y@g**m	1
Javier Díaz	3****2	1
Jannis Limperg	j**s@l**e	1
Jamie Lowenthal	j****l	1
Jacques Comeaux	j**x@p**m	1
Ioannis Markakis	7****s	1
Ingo Blechschmidt	i**h@w**e	1
Helmut Grohne	h**t@s**e	1

Excludes empty and merge commits.

Name	Email	Commits
Jacques	1****t	65
jamesmckinna	3****a	56
Matthew Daggitt	m**t@g**m	10
Nathan van Doorn	n**4@g**m	7
Andreas Abel	a**l@i**e	5
G. Allais	g**s@e**g	5
Carlos Tomé Cortiñas	c**s@g**m	4
Paul Bittner	p**r@u**e	4
Bradley Saul	b**l@f**m	3
shuhung	s****u	3
Jakub Kopański	j**b@f**l	2
e-mniang	m**u@g**m	2
Amélia Liao	m**e@a**w	1
Andrés Ortega	a**3@g**m	1
Chris	c****d	1
Jacques Comeaux	j**x@p**m	1
Javier Díaz	3****2	1
Junyoung/"Clare" Jang	j**0@g**m	1
Maxim Ivanov	u**o@g**m	1
Ruifeng Xie	r**x@o**m	1
Samuel	0**0@g**m	1
Thorsten Wißmann	s**2@t**e	1
onestruggler	b**n@d**a	1
rvs314	7****4	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