cubical committers

An experimental library for Cubical Agda

Last synced: 2 months ago

Total Commits: 1,965
Total Committers: 122
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 16.107
Development Distribution Score (DDS): 0.872

Commits in the past year: 85
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: 3.542
Development Distribution Score (DDS) in the past year: 0.788

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

Name	Email	Commits
Anders Mörtberg	a**g@g**m	251
Felix Cherubini	f**i@p**e	244
aljungstrom	a**m@h**m	216
ecavallo	e**o@c**u	200
KANG Rongji	s**g@g**m	130
mzeuner	5****r	63
Andrea Vezzosi	s**n@g**m	63
dan-iel-lee	l**l@s**u	60
Dan Doel	d**l@g**m	59
Matthew Yacavone	m**w@y**t	44
ice1000	i**n@f**m	42
Matthias Hutzler	m**r@p**t	39
Andreas Nuyts	a**s@k**e	34
anshwad10	1****0	23
Liang-Ting Chen	l**w@g**m	22
Trebor-Huang	t**g@f**m	22
Jordan Mitchell Barrett	9****2	18
Jonathan Sterling	j**n@j**m	18
Andreas Nuyts	a**s@v**e	18
Guilherme Silva	g**s@h**m	16
Max S. New	m**w@g**m	16
Josselin Poiret	d**v@j**z	16
Thomas Lamiaux	8****x	15
Arseniy Alekseyev	r**r@g**m	14
Oleg Grenrus	o**s@i**i	13
3abc	4****c	13
Fabian Endres	f**e@w**e	13
Freek Geerligs	6****8	13
KANG Rongji	9****i	12
WorldSEnder	W****r	11
LorenzoMolena	1****a	11
Andrew Swan	w**n@g**m	11
Zesen Qian	r****n	11
LuuBluum	b**n@h**m	10
Andreas Abel	a**l@i**e	9
MJG	m**i@g**m	9
Brad Dragun	3****m	8
ecavallo	e**o@g**m	6
Donnacha Oisín Kidney	m**l@d**m	5
Ayberk Tosun	a**n@g**m	5
Fabian	b**n@g**m	5
Samuel Mimram	s**m@g**m	5
Naïm Camille Favier	n**@m**i	5
Loïc	3****p	5
Johannes Schipp von Branitz	3**b@u**m	5
Ulrik Buchholtz	u**z@g**m	4
Shea Levy	s**a@s**m	4
Elies H	e**n@g**m	4
Mark Williams	m**s@g**m	4
Johannes Schipp von Branitz	7****k	4
Carlo Angiuli	c**o@c**m	4
loic-p	l**t@i**r	4
Amélia Liao	m**e@a**w	3
timorl	t**l@g**m	3
michael	1****8	3
favonia	f**a@g**m	3
Ulf Norell	u**l@g**m	3
Reid Barton	r**n@g**m	3
mhe	m**o@c**k	3
Jorge Blázquez Saborido	j**s@p**m	3
HilpAlex	8****x	3
Matthias Hutzler	m**r@s**e	2
Caroline Roos	c**h@g**m	2
Shreck Ye	S**e@g**m	2
Steven Schaefer	3****f	2
Vikraman Choudhury	g**t@v**g	2
XiaohuWang0921	x**1@g**m	2
apabepa10	7****0	2
flgrubm	5****m	2
lwoo1999	w**l@m**n	2
mchristianl	l**n@t**e	2
Scott Fleischman	s****n	2
Samuel Grahn	s**n@o**m	2
Rei	s**9@g**m	2
John Leo	l**o@h**g	2
Jesper Cockx	j**r@s**e	2
Ettore Forigo	e**o@g**m	2
Emil Gjørup	l**h@g**m	2
Aqissiaq	a**q@g**m	2
Apostolis Xekoukoulotakis	a**s@g**m	2
reswatson	7****n	2
phijor	p****r	2
Nils Anders Danielsson	n**d@c**e	1
Madeleine Sydney Ślaga	6****s	1
Leo White	l**o@l**t	1
LeeeeT	m**e@L**v	1
Lasse Letager Hansen	c****0	1
Laine Taffin Altman	a**n@m**m	1
Stefania Damato	p**7@n**k	1
Szumi Xie	s**e@g**m	1
caripoulet974	c**4@p**m	1
Zesen Qian	g**t@r**g	1
Si Yu How	s**w@S**l	1
Maximilian Dore	m**e@c**k	1
Pavel Turyansky	p**y@k**m	1
Axel Ljungström	a**9@r**e	1
Carlos Tomé	c**0@g**m	1
gmagaf	5****f	1
herminie	4****h	1
kl-i	k**i@i**m	1
owen-fool	6****l	1
Dylan Braithwaite	d**1@g**m	1
Chuangjie Xu	c****u	1
Chou Kyuhei	c**i@g**m	1
Carl Åkerman Rydbeck	3****k	1
Bruno Bentzen	b**n@h**m	1
Bredor	4****x	1
Borja Sierra	4****r	1
Benjamin Atelsek	4****a	1
Elijah Malaby	q**0@g**m	1
Guillaume Allais	g**s@e**g	1
Guillaume Brunerie	g**b@g**m	1
Jackson Brough	j**h@g**m	1
Jake Konrad	j**d@g**m	1
Jonas Höfer	j**9@g**m	1
Justin Himes	4****t	1
Kyle Raftogianis	k**o@g**m	1
Ryan Orendorff	1****f	1
Rahul Chhabra	r**2@g**m	1
Piotr Paradziński	d**t@g**m	1
Peixin You	5****x	1
pi3js2	1****2	1

Excludes empty and merge commits.

Name	Email	Commits
anshwad10	1****0	18
Freek	f**s@g**m	12
LorenzoMolena	1****a	11
Max S. New	m**w@g**m	10
Felix Cherubini	f**i@p**e	4
Axel Ljungström	4****m	3
Naïm Camille Favier	n**@m**i	3
michael	1****8	3
ecavallo	e**o@g**m	2
Anders Mörtberg	a**g@g**m	2
Ettore Forigo	e**o@g**m	2
flgrubm	5****m	2
reswatson	7****n	2
Andreas Abel	a**l@i**e	1
Caroline Roos	c**h@g**m	1
Dylan Braithwaite	d**1@g**m	1
Jackson Brough	j**h@g**m	1
Laine Taffin Altman	a**n@m**m	1
LeeeeT	m**e@L**v	1
Madeleine Sydney Ślaga	6****s	1
Piotr Paradziński	d**t@g**m	1
Shea Levy	s**a@s**m	1
Steven Schaefer	3****f	1
caripoulet974	c**4@p**m	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/cubical committers