Ecosyste.ms: Commits

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

GitHub / coq/opam committers

Last synced: 5 months ago

Total Commits: 5,252
Total Committers: 223
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 23.552
Development Distribution Score (DDS): 0.804

Commits in the past year: 496
Committers in the past year: 67
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 7.403
Development Distribution Score (DDS) in the past year: 0.764

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

Name	Email	Commits
Guillaume Claret	d**v@c**e	1028
Karl Palmskog	p**g@g**m	652
Enrico Tassi	E**i@I**r	308
Guillaume Melquiond	g**d@i**r	253
Matthieu Sozeau	m**m@m**g	140
Reynald Affeldt	r**t@a**p	131
Jason Gross	j**s@m**u	125
Pierre Roux	p**x@o**r	117
Michael Soegtrop	7****C	115
Matej Košík	m**k@i**r	92
Cyril Cohen	c**n@c**g	88
Enrico Tassi	E**i@i**r	83
Yishuai Li	y**i@u**u	70
François Pottier	f**r@i**r	65
Pierre Roux	p**e@r**r	59
Lasse Blaauwbroek	l**e@b**u	52
Yves Bertot	Y**t@i**r	51
Ralf Jung	p**t@r**e	51
Li-yao Xia	l**a@g**m	49
Gregory Malecha	g**a@g**m	48
thery	t**y@s**r	48
Kazuhiko Sakaguchi	p**7@g**m	46
Enrico Tassi	g**s@f**g	46
Frédéric Blanqui	f**i@i**r	45
Erik Martin-Dorel	e**k@m**g	43
Anton Trunov	a**v@g**m	42
Bas Spitters	b**s@g**m	40
Yishuai Li	l**s@a**m	40
Matthieu Sozeau	m**u@i**r	38
Arthur Azevedo de Amorim	a**a@g**m	37
Matej Kosik	m**k@g**m	37
Gaëtan Gilbert	g**t@s**t	34
Dominique Larchey-Wendling	l**y@g**m	33
Damien Pous	d**s@e**r	33
Hugo Herbelin	H**n@i**r	33
Yishuai Li	y**i@c**u	30
minkiminki	m**o@s**r	30
Vadim Zaliva	l**d@c**g	27
Pierre-Yves Strub	p**s@s**u	26
thery	L**y@i**r	24
Andrew Appel	a**l@p**u	23
Yishuai Li	l****i	21
Ali Caglayan	a**r@g**m	21
Théo Zimmermann	t**n@u**r	19
Chantal Keller	C**r@l**r	19
Julien Narboux	j**n@n**r	18
Cyril Cohen	C****l	18
beta	b**a@m**g	18
Aleksandar Nanevski	a**i@i**g	18
Jerome Simeon	j**n@m**m	17
ZhengPu Shi	z**i@n**n	17
Julien Narboux	J**n@n**r	17
John Wiegley	j**w@n**m	17
Ralf Jung	j**g@m**g	16
Jason Gross	j**9@g**m	15
Olivier Laurent	o**t@e**r	15
ildyria	b**r@g**m	14
Thomas Letan	l**s@s**e	14
Maxime Dénès	m**l@m**r	14
Frédéric Besson	f**n@i**r	13
coqelpibot	c**t@i**r	13
Maxime Dénès	m**s@i**r	13
Jerome Simeon	s**n@u**m	12
Leonidas Lampropoulos	l**3@h**m	12
Tej Chajed	t**d@m**u	12
William Mansky	m**1@u**u	12
Alex Gryzlov	a**u@i**g	11
Chantal Keller	c**r@l**r	11
Pierre Courtieu	P**u@c**r	11
affeldt-aist	3****t	10
raoxj	r**a@g**m	10
Yannick Forster	f**r@p**e	10
Théo Zimmermann	t**n@i**r	10
Thomas Braibant	t**t@i**r	10
Emilio Jesus Gallego Arias	e**t@x**g	10
Erik Martin-Dorel	e**l@i**r	9
yarik	y**1@g**m	9
Damien Pous	D**s@e**r	9
4ever2	3****2	9
Yves Bertot (he)	y**t@i**r	8
Gregory Malecha	g**a@c**u	8
Jelle Wemmenhove	j**e@l**l	8
Yannick Forster	y**r@i**r	8
Paolo G. Giarrusso	p**o@g**m	8
Lukasz Czajka	l**z@m**l	8
Larry Lee	l**e@e**m	8
Thomas Letan	t**n@s**r	7
Christian Doczkal	c**l@i**r	7
Masayuki Mizuno	m**o@w**m	6
Romain Tetley	r**y@i**r	6
Steven Keuchel	s**l@g**m	6
Xavier Leroy	x**y@c**r	6
Yannick Forster	y**k@y**e	6
Abhishek Anand (@brixpro-home)	a**g@g**m	6
Nifrec	5****c	5
arvidj	a**n@g**m	5
Travis-CI Bot	T**t@t**e	5
Thomas Tuerk	t**s@t**e	5
Qianchuan Ye	y**n@g**m	5
Pierre-Marie Pédrot	p**t@i**r	5
MathisBD	m**t@e**u	5
Kartik Singhal	k**s@c**u	5
Jan Tusil	j**l@g**m	5
Jacques-Henri Jourdan	j**n@n**g	5
Gil Hur	g**r@s**r	5
Christian Doczkal	c**l@e**r	5
Armaël Guéneau	a**u@e**r	5
Amin Timany	a**y@g**m	5
Marco Maggesi	1****i	4
François Pottier	f****r	4
tomaz1502	t**2@g**m	4
joan thibault	j**t@i**r	4
amethyst	y**o@i**l	4
Wolfgang Meier	w**r@p**e	4
Qinshi Wang	q**w@c**u	4
Enzo Crance	e**e@i**r	4
Brian Campbell	B**l@e**k	4
Bendy	b**y@c**u	4
Ankit Kumar	a**u@g**m	4
Adrian Lehmann	i**o@a**t	4
1DGW	1****W	3
Columbus240	8****0	3
Pierre Boutry	c**t@p**r	3
Michael Sammler	n**y@s**e	3
Kiran Gopinathan	k**g@c**g	3
Kenji Maillard	k**i@m**e	3
Calvin Beck	h**s@u**a	3
Beta Ziliani	b**i@f**r	3
Barry jay	B**8@g**m	3
Pierre Letouzey	p**y@i**r	3
Pierre-Évariste Dagand	p**d@l**r	3
Ramkumar Ramachandra	r**@a**m	3
Romain Tetley	r**y@p**m	3
Thomas Braibant	t**t@g**m	3
Arvid Jakobsson	a**n@n**m	3
Isaac van Bakel	i**b@v**o	3
vscoqbot	v**t@i**r	3
alxest	y**g@s**r	3
Timmy Weerwag	t**y@t**l	3
Timmy Weerwag	t**g@o**l	3
ebveeti	5****i	2
ckeller	c****r	2
Lasse Blaauwbroek	L****k	2
Ralph Matthes	r****s	2
hengruo	x**x@y**z	2
Samuel Hym	s**m@u**r	2
Quim Casals	q**s@g**m	2
Mireia	m**r@g**m	2
Micaela Mayero	m**o@l**r	2
Johannes Hostert	j**t@e**h	2
Joan Thibault	j**t@e**r	2
Jean-Christophe Léchenet	j**t@i**r	2
Tej Chajed	t**d@g**m	2
Théo Zimmermann	t**n@t**r	2
Veeti Eronen	e**4@g**m	2
Vincent Laporte	V**e@f**r	2
Vincent Laporte	V**e@i**r	2
Xavier Leroy	x**y@i**r	2
Xuanrui Qi	m**e@x**m	2
Yakir Forman	y**n@t**m	2
Guillaume Claret	g**e@c**e	2
Evgenii Moiseenko	e**4@g**m	2
Chantal Keller	C**r@i**r	2
Arthur Blot	a**8@g**m	2
Anton Trunov	a**n@z**m	2
fritjof	f**f@a**g	2
Yao Li	h**o@g**m	2
Yannick Forster	f**r@c**e	2
Yang Ming-Tian	i**@s**z	2
Jaehyung Lee	j**e@s**r	1
Jacques-Henri Jourdan	j**n@c**r	1
Jacques Garrigue	g**e@m**p	1
Hugo Férée	f**e@i**r	1
Guillaume Melquiond	g**d@g**m	1
Gordon Stewart	g**5@g**m	1
Jaehyung Lee	t**6@s**r	1
Jan-Oliver Kaiser	j**o@b**m	1
Jerome Simeon	J**n@d**m	1
Jesper Bengtson	b**n@i**k	1
Jim Portegies	j**s@t**l	1
Beta Ziliani	b****i	1
jim-portegies	3****s	1
Xia Li-yao	L****a	1
Vincent Laporte	v****l	1
MackieLoeffel	M****l	1
Olivier Laurent	3****1	1
Johannes Hostert	j**t@i**h	1
Kartik Singhal	k**l@g**m	1
Larry D. Lee Jr	l**4@g**m	1
Lars Rasmusson	L**n@g**m	1
Lee Dong Jae	m**7@s**r	1
Lennard Gäher	l**r@p**e	1
Siddharth Bhat	s**d@g**m	1
Samuel Gruetter	s**r@e**h	1
Ricky Elrod	r**y@e**e	1
Raphaël Cauderlier	r**r@n**m	1
Pierre PomCo	p**t@u**r	1
Pierre Courtieu	P**u@g**m	1
Pierre Boutry	b**y@e**r	1
Mohammad-Ali A'RÂBI	a**i@g**e	1
Matthieu Sozeau	m**m@e**r	1
Lulof Pirée	l**e@z**m	1
Louis Mandel	l**l@u**m	1
Leonidas Lampropoulos	l**s@u**u	1
Stéphane P. Desarzens	s**s@b**h	1
Vadim Zaliva	v**1@c**k	1
Yoshihiro Imai	y**i@a**p	1
amethyst	y**o@i**n	1
majorseitan@blockfreie.org	m**n@b**g	1
pPomCo	p**t@i**r	1
picojulien	j**n@l**r	1
qdelta	q**a@q**m	1
valomay	v**y@p**m	1
volodeyka	v**0@g**m	1
Adrian Dapprich	a**n@d**v	1
Andres Erbsen	g**b@a**s	1
Andrew Miloradovsky	a**w@i**w	1
Anton Trunov	a**v@i**g	1
Bernhard Schommer	b**r@g**m	1
Björn Brandenburg	b**b@m**g	1
Christian Doczkal	d**l@p**e	1
DwarfMaster	l**c@d**t	1
Fabian Kunze	f**e@f**e	1

Excludes empty and merge commits.

Name	Email	Commits
Karl Palmskog	p**g@g**m	117
Dominique Larchey-Wendling	l**y@g**m	31
Pierre Roux	p**x@o**r	29
Reynald Affeldt	r**t@a**p	28
Yishuai Li	l**s@a**m	27
Pierre Roux	p**e@r**r	18
Aleksandar Nanevski	a**i@i**g	15
Enrico Tassi	E**i@i**r	13
Matthieu Sozeau	m**u@i**r	13
Frédéric Blanqui	f**i@i**r	11
coqelpibot	c**t@i**r	11
William Mansky	m**1@u**u	10
Guillaume Melquiond	g**d@i**r	10
Gaëtan Gilbert	g**t@s**t	9
4ever2	3****2	9
Li-yao Xia	l**a@g**m	8
raoxiaojia	r**a@g**m	7
Kazuhiko Sakaguchi	p**7@g**m	7
Michael Soegtrop	7****C	6
Jason Gross	j**s@m**u	6
Yves Bertot (he)	y**t@i**r	6
Chantal Keller	c**r@l**r	5
MathisBD	m**t@e**u	5
affeldt-aist	3****t	4
tomaz1502	t**2@g**m	4
ZhengPu Shi	z**i@n**n	4
Damien Pous	d**s@e**r	4
Andrew Appel	a**l@p**u	4
Adrian Lehmann	i**o@a**t	4
Arthur Azevedo de Amorim	a**a@g**m	3
Calvin Beck	h**s@u**a	3
1DGW	1****W	3
Enrico Tassi	E**i@I**r	3
Erik Martin-Dorel	e**l@i**r	3
François Pottier	f**r@i**r	3
Kenji Maillard	k**i@m**e	3
Lasse Blaauwbroek	l**e@b**u	3
Michael Sammler	n**y@s**e	3
Pierre Boutry	c**t@p**r	3
Qianchuan Ye	y**n@g**m	3
Yves Bertot	Y**t@i**r	3
Ralph Matthes	r****s	2
Ali Caglayan	a**r@g**m	2
Lukasz Czajka	l**z@m**l	2
Olivier Laurent	o**t@e**r	2
Pierre Courtieu	P**u@c**r	2
Théo Zimmermann	t**n@t**r	2
Xavier Leroy	x**y@c**r	2
Yang Ming-Tian	i**@s**z	2
Yannick Forster	y**r@i**r	2
Andres Erbsen	g**b@a**s	1
Cyril Cohen	c**n@c**g	1
Erik Martin-Dorel	e**k@m**g	1
Guillaume Claret	d**v@c**e	1
Xia Li-yao	L****a	1
MackieLoeffel	M****l	1
Jacques-Henri Jourdan	j**n@c**r	1
Jean-Christophe Léchenet	j**t@i**r	1
Jesper Bengtson	b**n@i**k	1
Ralf Jung	j**g@m**g	1
Ramkumar Ramachandra	r**@a**m	1
Tej Chajed	t**d@g**m	1
Vadim Zaliva	l**d@c**g	1
Wolfgang Meier	w**r@p**e	1
Yannick Forster	y**k@y**e	1
Yoshihiro Imai	y**i@a**p	1
thery	L**y@i**r	1

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