agda-unimath committers

Last synced: about 5 hours ago

Total Commits: 2,685
Total Committers: 49
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 54.796
Development Distribution Score (DDS): 0.547

Commits in the past year: 295
Committers in the past year: 8
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 36.875
Development Distribution Score (DDS) in the past year: 0.481

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/UniMath/agda-unimath
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniMath%2Fagda-unimath

Name	Email	Commits
Egbert Rijke	e**e@g**m	1217
Fredrik Bakke	f**k@g**m	500
Louis Wasserman	w**s@g**m	225
Léo Mangel	l**a@g**m	119
Elisabeth Bonnevier	e**r@u**o	87
Vojtěch Štěpančík	v**k@o**m	86
Jonathan Cubides	j**s@u**o	61
Raymond Baker	r**r@g**m	59
malarbol	m**t@g**m	50
Bryan Lu	b**3@g**m	35
Tom de Jong	4****g	32
fernando	f**v@g**m	28
ElifUskuplu	7****u	25
VictorBlanchi	7****i	18
Ian Ray	i**5@g**m	18
Andreas Källberg	a**3@g**m	16
Matej Jazbec	j**j@o**m	12
Fernando Chu	1****u	11
Elisabeth Bonnevier	e**h@b**e	10
Amélia Liao	m**e@a**w	10
Daniel Gratzer	d**r@g**m	7
Garrett Figueroa	g**a@g**m	7
Ivan Kobe	i**e@g**m	7
maybemabeline	1****e	6
Ben Connors	b**s@o**m	5
Šimon Brandner	s**g@g**m	3
szumixie	3****e	2
favonia	f**a@g**m	2
Ulrik Buchholtz	u**z@g**m	2
Masa Zaucer	m**r@s**i	2
Gregor Perčič	1****c	2
Elisabeth Bonnevier	5****r	2
Alice Laroche	a**s@g**m	2
Alec Barreto	1****4	2
Lîm Tsú-thuàn	d**l@p**m	1
Matthias Hutzler	m**r@p**t	1
Emily Riehl	e**l@m**u	1
Håkon Gylterud	h**d@u**o	1
Nathan van Doorn	n**4@g**m	1
Pierre Cagne	p**e@g**m	1
Pietro Monticone	3****e	1
Tim Johns	s**0@g**m	1
louismntnu	9****u	1
Aqissiaq	a**q@g**m	1
Arnoud van der Leer	t**i@g**m	1
Bjarki	6****1	1
Dylan Braithwaite	d**1@g**m	1
Erik Schnetter	s**r@g**m	1
Evan Cavallo	e**c@c**e	1

Excludes empty and merge commits.

Name	Email	Commits
Louis Wasserman	w**s@g**m	153
Fredrik Bakke	f**k@g**m	100
malarbol	m**t@g**m	25
Vojtěch Štěpančík	v**k@o**m	9
Šimon Brandner	s**g@g**m	3
Garrett Figueroa	g**a@g**m	3
Tim Johns	s**0@g**m	1
Egbert Rijke	e**e@g**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 / UniMath/agda-unimath committers