Ecosyste.ms: Commits

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

GitHub / coq/coq committers

Last synced: 5 months ago

Total Commits: 36,485
Total Committers: 321
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 113.66
Development Distribution Score (DDS): 0.761

Commits in the past year: 1,887
Committers in the past year: 69
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 27.348
Development Distribution Score (DDS) in the past year: 0.671

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/coq/coq
JSON API: https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq

Name	Email	Commits
Hugo Herbelin	H**n@i**r	8719
Pierre-Marie Pédrot	p**t@i**r	4712
Gaëtan Gilbert	g**t@s**t	3117
Pierre Letouzey	p**y@i**r	2002
Matthieu Sozeau	m**m@m**g	1804
Emilio Jesús Gallego Arias	e**@x**g	1483
Enrico Tassi	E**i@i**r	1321
Jean-Christophe Filliâtre	J**e@l**r	1202
Théo Zimmermann	t**n@t**r	1143
Maxime Dénès	m**l@m**r	960
anonymous	****	638
Arnaud Spiwack	a**d@s**t	557
Guillaume Melquiond	g**d@i**r	541
Jason Gross	j**s@m**u	523
Pierre Roux	p**e@r**r	487
Bruno Barras	b**s@i**r	473
Pierre Boutillier	p**r@e**g	437
Jean-Marc Notin	n**n@g**e	354
Jim Fehrle	j**e@g**m	292
Matej Košík	m**k@i**r	280
Stéphane Glondu	s**h@g**t	253
Vincent Laporte	V**e@i**r	252
Yves Bertot	y**t@i**r	232
Claudio Sacerdoti Coen	s**t@g**e	202
Christine Paulin	c**n@g**e	199
Jasper Hugunin	j**r@h**t	188
Olivier Desmettre	d**r@g**e	181
Ali Caglayan	a**r@g**m	167
Julien Forest	j**t@e**r	164
Pierre Courtieu	P**u@c**r	136
David Delahaye	d**e@g**e	129
Pierre Corbineau	P**u@NM@i**r	123
Julien Narboux	j**x@g**e	107
Frédéric Besson	f**n@i**r	99
Matthias Puech	p**h@g**e	91
Clément Pit-Claudel	c**l@l**m	88
Yann Régis-Gianas	y**g@p**r	79
Benjamin Monate	m**e@g**e	79
Elie Soubiran	s**n@g**e	76
Olivier Laurent	o**t@e**r	76
Erik Martin-Dorel	e**l@i**r	71
Michael Soegtrop	m**p@i**m	70
Tanaka Akira	a**r@f**g	69
Pierre Rousselin	r**n@m**r	69
Vincent Gross	v**s@g**e	68
Paul Steckler	s**k@s**m	67
Lasse Blaauwbroek	l**e@b**u	66
Xavier Clerc	x**c@i**r	60
Judicaël Courant	c**t@g**e	57
Rodolphe Lepigre	r**e@b**m	56
Lionel Elie Mamane	l**e@g**e	55
Tej Chajed	t**d@m**u	54
Clément Renard	c**d@g**e	54
Yann Leray	y**y@i**r	53
Evgeny Makarov	e**v@g**e	49
Claude Marché	m**e@g**e	46
Amin Timany	a**y@g**m	46
Laurent Théry	l**y@i**r	41
Kazuhiko Sakaguchi	p**7@g**m	39
Ralf Jung	p**t@r**e	39
Yishuai Li	y**i@c**u	38
Benjamin Grégoire	b**e@i**r	37
Micaela Mayero	m**o@g**e	36
Cyprien Mangin	c**n@m**g	35
Andres Erbsen	a**b@a**s	33
Vincent Semeria	v**a@g**m	33
Andres Erbsen	a**r@m**u	32
Simon Boulier	s**r@e**r	32
Sylvain Chiron	c**n@o**r	32
Vincent Siles	v**s@g**e	31
Jan-Oliver Kaiser	j**o@m**g	26
Andrej Dudenhefner	m**i@g**m	25
Arthur Charguéraud	a**r@c**g	25
Samuel Gruetter	s**r@e**h	24
Li-yao Xia	l**a@g**m	23
Florent Kirchner	f**e@g**e	23
Zeimer	z**r@g**m	22
Paolo G. Giarrusso	p**o@g**m	22
Loïc Pottier	p**r@g**e	20
Russell O'Connor	r**r@b**o	19
Nickolai Zeldovich	n**i@c**u	19
Gregory Malecha	g**a@e**u	18
Karl Palmskog	p**g@g**m	18
Ramkumar Ramachandra	r**@a**m	17
Wojciech Karpiel	w**l@o**l	16
Gabriel Scherer	g**r@g**m	15
quarkcool	q**l@y**r	15
Matthew Ryan	m**3@h**k	14
Assia Mahboubi	a**i@i**r	14
Rodolphe Lepigre	l**e@m**g	14
Kenji Maillard	k**d@i**r	13
Quentin Vermande	q**e@o**r	13
Cyril Cohen	c**n@c**g	13
Antonio Nikishaev	m**e@l**u	12
whitequark	w**k@w**g	12
Stefan Haan	s**n@a**t	11
Ana Borges	a**b@g**m	10
Stéphane Desarzens	8****0	10
Sam Pablo Kuper	s**r@r**t	9
Raphaël Monat	r**t@e**g	9
Marc Lasson	m**n@g**m	9
Joachim Breitner	m**l@j**e	9
Jean-Francois Monin	j**n@u**r	9
Carst Tankink	c**k@i**r	9
Armaël Guéneau	a**u@e**g	9
Anton Trunov	a**v@g**m	9
Anton Danilkin	a**w@y**u	9
Oliver Nash	o**h@g**m	8
Martin Bodin	m**n@e**g	8
Mario Frank	m**k@u**e	8
Abhishek Anand	a**g@g**m	8
remzi	1**h@g**m	7
Xavier Leroy	x**y@c**r	7
Wolf Honore	w**e@g**m	7
Talia Ringer	t**r@c**u	7
Sébastien Hinderer	S**r@i**r	7
Rudi Grinberg	m**e@r**m	7
Reynald Affeldt	r**t@a**p	7
Benjamin Werner	w**r@g**e	7
Andreas Lynge	a**n@g**m	7
Ambroise Lafont	c**r@h**r	7
Alec Faithfull	a**f@i**k	6
Fabian Kunze	f**e@f**e	6
Guillaume Bertholon	g**n@e**r	6
Jean-Pierre Rodi	j**4@g**m	6
Johannes Kloos	j**s@m**g	6
Siddharth Bhat	s**d@g**m	6
Thomas Sibut-Pinote	t**e@i**r	6
William Lawvere	m**e@g**m	6
Arthur Azevedo de Amorim	a**a@g**m	5
Attila Gáspár	g**9@g**m	5
Daniel de Rauglaudre	d**e@i**r	5
Guillaume Munch-Maccagnoni	G**i@I**r	5
Huang Guan-Shieng	h**g@g**e	5
Lucas Donati	l**i@e**h	5
Nick Lewycky	n**s@m**a	5
Quentin Carbonneaux	q**n@c**e	5
Oliver Turner	a**n@a**u	4
tomaz1502	t**2@g**m	4
Tom Hutchinson	t**n@g**e	4
Robbert Krebbers	m**l@r**l	4
Lars Rasmusson	l**n@s**e	4
Jacques-Henri Jourdan	j**n@n**g	4
Isaac van Bakel	i**b@v**o	4
Hendrik Tews	H**s@k**m	4
Guillaume Claret	d**v@c**e	4
Davide Fissore	f**0@g**m	4
Christian Doczkal	c**l@i**r	4
Beta Ziliani	b**a@m**g	4
Bernhard Schommer	b**r@g**m	3
Ralf Treinen	t**n@d**g	3
Robert Rand	r**d@g**m	3
Romain Tetley	r**y@i**r	3
Seth Poulsen	p**h@y**m	3
Thomas Letan	t**n@s**r	3
Théo Winterhalter	i**t@g**m	3
Timothy Bourke	t**m@t**g	3
Vadim Zaliva	l**d@c**g	3
Virgile Prevosto	v**o@m**g	3
Yishuai Li	l**s@a**m	3
formalize.eth	f**e@p**m	3
Langston Barrett	l**t@g**m	3
Lionel Rieg	l**g@e**r	3
Matěj Grabovský	m**y@y**m	3
Pierre Jouvelot	p**t@m**r	3
Pierre-Yves Strub	p**s@s**u	3
Jacques-Pascal Deplaix	j**x@g**m	3
Ethan A. Kuefner	e**k@c**d	3
Edward Wang	e**g@c**m	3
Daniel R. Grayson	d**n@m**u	3
Chantal Keller	C**r@l**r	3
Cezary Kaliszyk	c**k@g**e	3
slrnsc	s**s@m**m	3
CJ Bell	c**j@c**u	2
Carl Patenaude-Poulin	c**n@p**m	2
Chantal Keller	C**r@i**r	2
Claude Stolze	C**e@e**r	2
Frank Steffahn	f**n@g**m	2
Gan Shen	g**n@o**m	2
Georges Gonthier	g**r@i**r	2
Jean Abou Samra	j**n@a**r	2
Julien Puydt	j**t@d**g	2
Michael D. Adams	a****d	2
chluebi	4****i	2
Clément Blaudeau	4****u	2
Florent Hivert	h****t	2
Julin S	4****h	2
Kartik Singhal	k**l@g**m	2
Kayla Ngan	k**n@m**m	2
Larry Darryl Lee Jr.	l**4@g**m	2
Leonidas Lampropoulos	l**3@h**m	2
Martin Vassor	m**r@e**h	2
Rin Arakaki	k**n@g**m	2
Rudy Peterson	r**9@c**u	2
Siegmentation Fault	s**t@y**u	2
Takafumi Saikawa	t**r@g**m	2
Valentin Robert	v**2@g**m	2
Yannick Forster	f**r@p**e	2
Yannick Forster	y**r@i**r	2
Bart Jacobs	b**s@c**e	2
Björn Brandenburg	b**b@m**g	2
drenched-moth	8****h	2
Aleksandar Nanevski	a**i@i**g	1
Alban Gruin	a**n@p**r	1
Adrian Dapprich	a**n@d**v	1
Stefan Radziuk	s**9@i**k	1
Léo Andrès	l**o@n**r	1
Lukasz Czajka	l**z@m**l	1
Lennart Jablonka	h**m@l**m	1
Khalid Abdullah	k**8@g**m	1
Kate	k**e@o**m	1
Karolina Surma	k**a@r**m	1
Karolin Varner	k**o@c**t	1
Kamil Trzciński	a**n@a**u	1
Julien Puydt	j**t@g**m	1
Julien Coolen	j**n@p**e	1
Juan Conejero	j**d@p**m	1
Alexandre Miquel	m**l@g**e	1
Alexandre Moine	a**e@m**e	1
Alexey Trilis	a**0@g**m	1
Anders Kaseorg	a**k@m**u	1
Andreas Florath	a**s@f**t	1
Andres Erbsen	a**s@a**s	1
Andres Erbsen	g**b@a**s	1
Avi Shinnar	s**r@u**m	1
Benjamin Barenblat	b**n@g**m	1
Benjamin Pierce	b**0@g**m	1
Benny Smit	b**t@u**u	1
Bernhard M. Wiedemann	b**n@s**e	1
Bodo Igler	b**r@h**e	1
František Farka	f**k@b**m	1
Pierre Rousselin	1****e	1
Samuel Lelièvre	s****l	1
Naveen Srinivasan	1****n	1
Meven Lennon-Bertrand	5****d	1
İsmail Dönmez	i****s	1
spanjel	s****l	1
soraros	s****s	1
Timur Aminev	7****y	1
CharlesCNorton	1****n	1
Alex	9****a	1
Marcello Seri	m****i	1
Lasse Blaauwbroek	L****k	1
Frederic Peschanski	f**i@l**r	1
Frédéric Chapoton	f**2@g**m	1
George Stelle	s**g@l**v	1
Grant Jurgensen	g**n@g**m	1
Guillaume Allais	g**s@e**g	1
Helge Bahmann	h**b@c**t	1
Ike Mulder	i**r@h**m	1
Isaac Oscar Gariano	I**r@l**u	1
James Lottes	j**s@g**m	1
James R. Wilcox	j**2@c**u	1
Jean-Christophe Léchenet	e**r@v**r	1
Jerry James	l**y@g**m	1
Jim Apple	g**c@j**m	1
Jim Portegies	j**s@t**l	1
Jose Fernando Lopez Fernandez	j**z@g**m	1
nicolas tabareau	n**u@g**m	1
scinart	a**j@g**m	1
slb Prime	s**g@g**m	1
stop-cran	s**n@l**u	1
wkwkes	w**s@g**m	1
yudetamago	y**z@g**m	1
MathisBD	m**t@e**u	1
Matt Quinn	m**t@m**m	1
Matthew Dempsky	m**w@d**g	1
Matthieu Baty	m**y@e**h	1
Michael Soegtrop	m**@a**e	1
Michele Caci	m**i@g**m	1
Minki Cho	m**o@s**r	1
Mirai IKEBUCHI	m**b@g**m	1
Nikita Eshkeev	k**m@g**m	1
Nikolaos Chatzikonstantinou	n**4@g**m	1
Olivier Marty	o**r@o**t	1
Perry E. Metzger	p**y@p**m	1
Peter LeFanu Lumsdaine	p**e@g**m	1
Stefan Haan	s**n@k**t	1
Sotaro Okada	s**0@y**p	1
Simon Marechal	b**e@b**t	1
Simon Gregersen	g**n@c**k	1
Simon Friis Vindum	s**v@g**m	1
Sigurd Schneider	s**r@c**e	1
Shengyi Wang	t**s@g**m	1
Shachar Itzhaky	c**r@g**m	1
Sergei Stepanenko	k**h@g**m	1
Ryan Scott	r**t@g**m	1
Rodolphe Lepigre	r**e@b**o	1
Ricky Elrod	r**y@e**e	1
Catalin Hritcu	c**u@g**m	1
Dabrowski	f**i@u**r	1
Damien Doligez	d**z@g**e	1
Daneel Yaitskov	d**v@g**m	1
David A. Dalrymple	d**d@a**u	1
David M. Cooke	d**e@g**m	1
David Swasey	d**d@b**m	1
Dmitry Shachnev	m**7@g**m	1
Erika	r**9@y**m	1
Fabian	b**n@g**m	1
Farzon Lotfi	f**l@g**m	1
Florent Hivert	F**t@l**r	1
Stephan Boyer	s**n@s**m	1
Sudha Parimala	s**7@g**m	1
Sven M. Hallberg	p**o@k**g	1
Tan Yee Jian	t**n@g**m	1
Thierry Martinez	T**z@i**r	1
Thomas Hebb	t**b@g**m	1
Thomas Klausner	w**z@g**t	1
Thomas Refis	t**s@g**m	1
Tony Beta Lambda	t**a@g**m	1
Wang Zhuyang	h**g@g**m	1
Weng Shiwei 翁士伟	a**r@g**m	1
Wojciech Nawrocki	w**i@p**m	1
YOSHIHIRO Imai	y**3@p**g	1
Yannick Forster	y**k@y**e	1
Yao Li	h**o@g**m	1
Yusuke Matsushita	y**t@g**m	1
doctor-kaliy	2**1@n**u	1
felixL-K	f**n@e**r	1
lduboisd	l**e@i**r	1
Remyjck	r**u@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
Gaëtan Gilbert	g**t@s**t	621
Hugo Herbelin	H**n@i**r	334
Pierre-Marie Pédrot	p**t@i**r	300
Pierre Roux	p**e@r**r	191
Pierre Rousselin	r**n@m**r	51
Yann Leray	y**y@i**r	46
Emilio Jesús Gallego Arias	e**@x**g	42
Sylvain Chiron	c**n@o**r	32
Enrico Tassi	E**i@i**r	31
Rodolphe Lepigre	r**e@b**m	22
Andres Erbsen	a**b@a**s	20
Jan-Oliver Kaiser	j**o@m**g	19
Jim Fehrle	j**e@g**m	16
Jason Gross	j**s@m**u	16
Guillaume Melquiond	g**d@i**r	13
Quentin Vermande	q**e@o**r	13
Rodolphe Lepigre	l**e@m**g	11
Anton Danilkin	a**w@y**u	9
Mario Frank	m**k@u**e	8
Théo Zimmermann	t**n@t**r	7
Lucas Donati	l**i@e**h	5
Matthieu Sozeau	m**m@m**g	5
Andrej Dudenhefner	m**i@g**m	4
Davide Fissore	f**0@g**m	4
tomaz1502	t**2@g**m	4
Oliver Turner	a**n@a**u	4
Tanaka Akira	a**r@f**g	3
Romain Tetley	r**y@i**r	3
Andres Erbsen	a**r@m**u	3
Bernhard Schommer	b**r@g**m	2
Björn Brandenburg	b**b@m**g	2
drenched-moth	8****h	2
chluebi	4****i	2
Erik Martin-Dorel	e**l@i**r	2
Jean Abou Samra	j**n@a**r	2
Li-yao Xia	l**a@g**m	2
Michael Soegtrop	m**p@i**m	2
Ralf Jung	p**t@r**e	2
Siegmentation Fault	s**t@y**u	2
Gabriel Scherer	g**r@g**m	1
Frédéric Besson	f**n@i**r	1
Florent Hivert	F**t@l**r	1
David M. Cooke	d**e@g**m	1
Daneel Yaitskov	d**v@g**m	1
Benny Smit	b**t@u**u	1
Andres Erbsen	g**b@a**s	1
Andres Erbsen	a**s@a**s	1
Andreas Florath	a**s@f**t	1
CharlesCNorton	1****n	1
Timur Aminev	7****y	1
Pierre Rousselin	1****e	1
Marcello Seri	m****i	1
Alexey Trilis	a**0@g**m	1
Aleksandar Nanevski	a**i@i**g	1
Julien Puydt	j**t@g**m	1
Lasse Blaauwbroek	l**e@b**u	1
Laurent Théry	l**y@i**r	1
nicolas tabareau	n**u@g**m	1
lduboisd	l**e@i**r	1
felixL-K	f**n@e**r	1
doctor-kaliy	2**1@n**u	1
Yannick Forster	y**r@i**r	1
Tan Yee Jian	t**n@g**m	1
Stefan Haan	s**n@a**t	1
Rodolphe Lepigre	r**e@b**o	1
Remyjck	r**u@g**m	1
Ramkumar Ramachandra	r**@a**m	1
MathisBD	m**t@e**u	1
Lennart Jablonka	h**m@l**m	1

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