Ecosyste.ms: Commits

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

GitHub / coq/coq-on-cachix committers

Last synced: 11 months ago

Total Commits: 30,807
Total Committers: 236
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 130.538
Development Distribution Score (DDS): 0.741

Commits in the past year: 0
Committers in the past year: 0
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 0.0
Development Distribution Score (DDS) in the past year: 0.0

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

Name	Email	Commits
Hugo Herbelin	H**n@i**r	7980
Pierre-Marie Pédrot	p**t@i**r	3419
Pierre Letouzey	p**y@i**r	2002
Matthieu Sozeau	m**m@m**g	1759
Gaëtan Gilbert	g**t@s**t	1366
Emilio Jesús Gallego Arias	e**@x**g	1347
Jean-Christophe Filliâtre	J**e@l**r	1202
Enrico Tassi	E**i@i**r	1174
Théo Zimmermann	t**n@i**r	1030
Maxime Dénès	m**l@m**r	911
anonymous	****	638
Arnaud Spiwack	a**d@s**t	557
Guillaume Melquiond	g**d@i**r	502
Bruno Barras	b**s@i**r	473
Jason Gross	j**s@m**u	453
Pierre Boutillier	p**r@e**g	437
Jean-Marc Notin	n**n@g**e	354
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	227
Claudio Sacerdoti Coen	s**t@g**e	202
Christine Paulin	c**n@g**e	199
Jim Fehrle	j**e@s**t	195
Jasper Hugunin	j**r@h**t	188
Olivier Desmettre	d**r@g**e	181
Pierre Roux	p**e@r**r	166
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
Matthias Puech	p**h@g**e	91
Clément Pit-Claudel	c**l@l**m	88
Frédéric Besson	f**n@i**r	85
Yann Régis-Gianas	y**g@p**r	79
Benjamin Monate	m**e@g**e	79
Elie Soubiran	s**n@g**e	76
Vincent Gross	v**s@g**e	68
Paul Steckler	s**k@s**m	67
Erik Martin-Dorel	e**l@i**r	67
Michael Soegtrop	m**p@i**m	62
Xavier Clerc	x**c@i**r	60
Judicaël Courant	c**t@g**e	57
Lionel Elie Mamane	l**e@g**e	55
Tej Chajed	t**d@m**u	54
Clément Renard	c**d@g**e	54
Olivier Laurent	o**t@e**r	52
Evgeny Makarov	e**v@g**e	49
Claude Marché	m**e@g**e	46
Amin Timany	a**y@g**m	46
Tanaka Akira	a**r@f**g	44
Laurent Théry	l**y@i**r	40
Benjamin Grégoire	b**e@i**r	37
Ali Caglayan	a**r@g**m	37
Micaela Mayero	m**o@g**e	36
Cyprien Mangin	c**n@m**g	35
Ralf Jung	p**t@r**e	34
Simon Boulier	s**r@e**r	32
Vincent Semeria	v**a@g**m	32
Vincent Siles	v**s@g**e	31
Kazuhiko Sakaguchi	p**7@g**m	30
Yishuai Li	y**i@c**u	26
Arthur Charguéraud	a**r@c**g	25
Lasse Blaauwbroek	l**e@b**u	24
Florent Kirchner	f**e@g**e	23
Zeimer	z**r@g**m	22
Loïc Pottier	p**r@g**e	20
Nickolai Zeldovich	n**i@c**u	19
Russell O'Connor	r**r@b**o	19
Gregory Malecha	g**a@e**u	18
Li-yao Xia	l**a@g**m	18
Samuel Gruetter	s**r@e**h	15
Assia Mahboubi	a**i@i**r	14
Matthew Ryan	m**3@h**k	14
Gabriel Scherer	g**r@g**m	13
Kenji Maillard	k**d@i**r	13
Antonio Nikishaev	m**e@l**u	12
whitequark	w**k@w**g	12
Paolo G. Giarrusso	p**o@g**m	11
Cyril Cohen	c**n@c**g	10
Columbus240	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
Anton Trunov	a**v@g**m	9
Andrej Dudenhefner	m**i@g**m	9
Abhishek Anand	a**g@g**m	8
Oliver Nash	o**h@g**m	8
Ambroise Lafont	c**r@h**r	7
Andreas Lynge	a**n@g**m	7
Andres Erbsen	a**r@m**u	7
Armaël Guéneau	a**u@e**r	7
Benjamin Werner	w**r@g**e	7
Martin Bodin	m**n@e**g	7
Sébastien Hinderer	S**r@i**r	7
Talia Ringer	t**r@c**u	7
Xavier Leroy	x**y@c**r	7
Alec Faithfull	a**f@i**k	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
Ana Borges	a**b@g**m	5
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
Fabian Kunze	f**e@f**e	5
Huang Guan-Shieng	h**g@g**e	5
Nick Lewycky	n**s@m**a	5
Quentin Carbonneaux	q**n@c**e	5
Reynald Affeldt	r**t@a**p	5
Tom Hutchinson	t**n@g**e	4
Lars Rasmusson	l**n@s**e	4
Jan-Oliver Kaiser	j**o@m**g	4
Jacques-Henri Jourdan	j**n@n**g	4
Hendrik Tews	H**s@k**m	4
Guillaume Munch-Maccagnoni	G**i@I**r	4
Guillaume Claret	d**v@c**e	4
Beta Ziliani	b**a@m**g	4
Cezary Kaliszyk	c**k@g**e	3
Daniel R. Grayson	d**n@m**u	3
Edward Wang	e**g@c**m	3
Jacques-Pascal Deplaix	j**x@g**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-Yves Strub	p**s@s**u	3
Ralf Treinen	t**n@d**g	3
slrnsc	s**s@m**m	3
formalize.eth	f**e@p**m	3
Virgile Prevosto	v**o@m**g	3
Vadim Zaliva	l**d@c**g	3
Timothy Bourke	t**m@t**g	3
Théo Winterhalter	i**t@g**m	3
Thomas Letan	t**n@s**r	3
Seth Poulsen	p**h@y**m	3
Robert Rand	r**d@g**m	3
Robbert Krebbers	m**l@r**l	3
CJ Bell	c**j@c**u	2
Carl Patenaude-Poulin	c**n@p**m	2
Chantal Keller	C**r@i**r	2
Christian Doczkal	c**l@e**r	2
Claude Stolze	C**e@e**r	2
Frank Steffahn	f**n@g**m	2
Gan Shen	g**n@o**m	2
Yannick Forster	f**r@p**e	2
Michael D. Adams	a****d	2
Clément Blaudeau	4****u	2
Georges Gonthier	g**r@i**r	2
Karl Palmskog	p**g@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
Takafumi Saikawa	t**r@g**m	2
Wolf Honore	w**e@g**m	2
Armael	a**l@i**e	2
Florent Hivert	h****t	2
Karolin Varner	k**o@c**t	1
Kartik Singhal	k**s@c**u	1
Lukasz Czajka	l**z@m**l	1
Léo Andrès	l**o@n**r	1
Stefan Haan	s**n@k**t	1
Alexandre Miquel	m**l@g**e	1
Alexandre Moine	a**e@m**e	1
Anders Kaseorg	a**k@m**u	1
Avi Shinnar	s**r@u**m	1
Bart Jacobs	b**s@c**e	1
Benjamin Barenblat	b**n@g**m	1
Benjamin Pierce	b**0@g**m	1
Bernhard M. Wiedemann	b**n@s**e	1
Bernhard Schommer	b**r@g**m	1
Catalin Hritcu	c**u@g**m	1
Dabrowski	f**i@u**r	1
Damien Doligez	d**z@g**e	1
George Stelle	s**g@l**v	1
Samuel Lelièvre	s****l	1
İsmail Dönmez	i****s	1
spanjel	s****l	1
soraros	s****s	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
Jim Apple	g**c@j**m	1
Jose Fernando Lopez Fernandez	j**z@g**m	1
Juan C	j**d@p**m	1
Julien Coolen	j**n@p**e	1
Kamil Trzciński	a**n@a**u	1
wkwkes	w**s@g**m	1
yudetamago	y**z@g**m	1
Matt Quinn	m**t@m**m	1
Matthew Dempsky	m**w@d**g	1
Michele Caci	m**i@g**m	1
Mirai IKEBUCHI	m**b@g**m	1
Nikita Eshkeev	k**m@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
Ramkumar Ramachandra	a**n@g**m	1
Ricky Elrod	r**y@e**e	1
Rudy Peterson	r**9@c**u	1
Ryan Scott	r**t@g**m	1
Shachar Itzhaky	c**r@g**m	1
Sigurd Schneider	s**r@c**e	1
Simon Friis Vindum	s**v@g**m	1
Simon Gregersen	g**n@c**k	1
David A. Dalrymple	d**d@a**u	1
Erika	r**9@y**m	1
Fabian	b**n@g**m	1
Farzon Lotfi	f**l@g**m	1
Frederic Peschanski	f**i@l**r	1
Frédéric Chapoton	f**2@g**m	1
Sven M. Hallberg	p**o@k**g	1
Thierry Martinez	T**z@i**r	1
Thomas Hebb	t**b@g**m	1
Thomas Refis	t**s@g**m	1
Tony Beta Lambda	t**a@g**m	1
Valentin Robert	v**2@g**m	1
Wang Zhuyang	h**g@g**m	1
Wojciech Nawrocki	w**i@p**m	1
Yao Li	h**o@g**m	1
Yusuke Matsushita	y**t@g**m	1
scinart	a**j@g**m	1
slb Prime	s**g@g**m	1
Simon Marechal	b**e@b**t	1

Excludes empty and merge commits.

This repository has not had any commits in the past year. Excludes empty and merge commits.