agda committers

Agda is a dependently typed programming language / interactive theorem prover.

Last synced: 25 days ago

Total Commits: 20,927
Total Committers: 261
Total Bot Commits: 8
Total Bot Committers: 1
Avg Commits per committer: 80.18
Development Distribution Score (DDS): 0.69

Commits in the past year: 738
Committers in the past year: 41
Bot Commits in the past year: 2
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 18.0
Development Distribution Score (DDS) in the past year: 0.339

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

Name	Email	Commits
Andreas Abel	a**l@i**e	6485
Ulf Norell	u**n@c**e	4438
Nils Anders Danielsson	n**d@c**e	2388
Andrés Sicard-Ramírez	a**r@e**o	2160
Jesper Cockx	j**x@c**e	1589
Andrea Vezzosi	s**n@g**m	546
Philipp Hausmann	p**t@3**h	388
Robert Estelle	r**e@g**m	380
Guillaume Allais	g**s@e**g	302
Liang-Ting Chen	l**w@g**m	212
Amélia Liao	m**e@a**w	160
Francesco Mazzoli	f**@m**i	129
Fredrik Nordvall Forsberg	c**f@s**k	115
Tesla Ice Zhang	i**n@f**m	80
Dominique Devriese	d**e@c**e	77
Péter Diviánszky	d**p@g**m	75
Víctor López Juan	v**r@l**m	66
Herminie Pagel	n**p@f**m	44
James Chapman	j**n@i**o	44
Naïm Favier	n**@m**i	44
Alex Haršáni	a**i@g**m	42
Phil de Joux	p**t@g**m	39
András Kovács	p**c@g**m	36
Arthur Adjedj	a**j@g**m	34
Szumi Xie	s**e@g**m	32
Stevan Andjelkovic	s**c@s**k	32
Nicolas Pouillard	n**d@g**m	31
Paolo G. Giarrusso	p**o@g**m	30
Lawrence Chonavel	9****o	26
Reed Mullanix	r**x@g**m	26
Daniel Gustafsson	d**n@g**m	25
Josselin Poiret	d**v@j**z	24
Kuen-Bang Hou (Favonia)	f**a@g**m	24
Alan Jeffrey	a**y@b**m	23
Makoto Takeyama	m**a@a**p	22
Jean-Philippe Bernardy	j**y@g**m	21
Matthew Daggitt	m**t@g**m	21
LUA Ting-Gan	b**n@g**m	21
Christian Sattler	s**n@g**m	20
Fredrik Lindblad	f**b@c**e	18
Guillaume Brunerie	g**e@g**m	18
Nobuo Yamashita	n**a@a**p	17
Nathaniel Burke	n**3@g**m	16
Jonathan Coates	g**t@s**c	16
Artem Shinkarov	a**f@g**m	16
Guilhem Moulin	g**n@c**e	15
Marko Dimjašević	m**o@d**t	15
Lucas Escot	l**s@e**e	14
Wolfram Kahl	k**l@c**a	13
Patrik Jansson	p**j@c**e	13
Ziyang Liu	f**e@c**o	12
Stefan Monnier	m**r@i**a	12
Philip Kaludercic	p**k@p**t	11
Thomas Lopatic	t**s@l**e	11
Konstantin Nisht	k**t@j**m	10
Wen Kokke	w**e@g**m	10
Ed Nutting	e**d@b**m	9
John Leo	l**o@h**g	9
Andreas Nuyts	a**s@k**e	8
Chris Moline	b**e@g**m	8
Marcin Benke	m**e@g**m	8
Michael Shulman	s**n@s**u	8
dependabot[bot] 🤖	4****]	8
Ryan Scott	r**t@k**u	7
Andre Knispel	a**l@g**e	7
Olle Fredriksson	f**e@g**m	7
Darin Morrison	d**m@c**k	6
Jacques Carette	c**e@m**a	6
Kyle Raftogianis	k**o@g**m	6
caryoscelus	c**s@g**m	6
pavenvivek	p**v@g**m	5
Adam Sandberg Eriksson	a**m@s**e	5
Anders Mörtberg	a**g@g**m	5
Fabian Ruch	b**n@g**m	5
Jappie Klooster	j**r@h**m	5
Martin Fredin	f**n@g**m	5
Matt Superdock	m**k@g**m	5
Viktor Lin	h**i@v**n	5
MJG	m**i@g**m	5
Copilot	1****t	4
João Paulo Pizani Flor	j**i@g**m	4
Gregory Gerasev	u**9@g**m	4
Nick Smallbone	n**e@g**m	4
Nikita Karetnikov	n**a@k**g	4
Oleg Grenrus	o**s@i**i	4
Orestis Melkonian	m**r@g**m	4
Sergei Trofimovich	s**x@c**g	4
Wouter Swierstra	w**a@u**l	4
cmcmA20	c**0@p**e	4
jrp2014	j****4	4
Felix Cherubini	f**i@p**e	3
Charles Ruhland	c**d@a**u	3
Fredrik Bakke	f**k@g**m	3
Gabor Greif	g**f@g**m	3
Ingo Blechschmidt	i**h@s**e	3
Maja Kądziołka	m**a@c**s	3
Nate	s**s@g**m	3
Piotr Paradziński	a**a@g**m	3
Sandy Maguire	s**y@s**e	3
Thorsten Altenkirch	t**a@c**k	3
Vlad Semenov	s**y@g**m	3
Wojciech Jedynak	w**k@g**m	3
Alexander Altman	a**n@m**m	3
Calvin Lee	c**e@u**u	3
Andy Pan	a**w@y**w	3
n-kato	n**o@a**p	3
Liyang HU	u****n	3
Lîm Tsú-thuàn	i**x@d**e	3
Frederik Hanghøj Iversen	f**0@g**m	2
Felix Yan	f**s@a**g	2
Emily Horsman	m**e@e**m	2
David Leon Gil	c**s@g**m	2
Chris Rayner	r****y	2
Bohdan Liesnikov	b**t@g**m	2
Arjen Rouvoet	a**t@g**m	2
Maštarija	m**r@m**m	2
Evgenii Akentev	i**@a**m	2
Dirk Ullrich	d**h@g**m	2
Dan Rosén	d**r@f**g	2
Carlos Tomé	c**0@g**m	2
Alexandre Buisse	b**e@c**e	2
Mason Stewart	m**n@t**m	2
Kasper Brink	k**k@s**l	2
Philip Kaludercic	p**l@p**t	2
Pavel Turyansky	p**y@k**m	2
Scott Fleischman	s**n@l**m	2
Shea Levy	s**a@s**m	2
Simon Jakobi	s**i@g**m	2
Steven Keuchel	s**l@g**m	2
Uma Zalakain	p**g@u**o	2
Vic	g**b@v**l	2
Zack Grannan	z**n@g**m	2
ibbem	i**m@i**t	2
Yee Jian TAN	t**n@g**m	2
Miikka Koskinen	m**n@i**i	2
Miëtek Bak	m**k@b**o	2
Mario Carneiro	d**a@g**m	2
M Farkas-Dyck	s**8@g**m	2
Jonathan Sterling	j**n@j**m	2
Jens Petersen	j**n@g**m	2
Jason Dagit	d**j@g**m	2
Ilya Yanok	i**k@g**m	2
Holger Borum	h**m@g**m	2
Riccardo	r**o@g**m	2
Ryan Hendrickson	r**n@a**u	2
Samuel Bronson	n**n@g**m	2
Panagiotis Koutsourakis	k**k@m**m	2
Oskar Eriksson	9****i	2
Prabhakar Ragde	p**e@u**a	1
Rodrigo Mesquita	r**a@g**m	1
Sam Toth	s**m@t**k	1
Samuel Gélineau	g**m@g**m	1
Sean Whitton	s**n@s**e	1
Dylan Ede	d**e@g**m	1
Shin-Cheng Mu	s**m@i**w	1
Simon Boulier	S****r	1
Sylvain Henry	s**n@h**r	1
Teo Camarasu	t**u@g**m	1
nobody	n**y@8**d	1
ial	i**l@c**k	1
Uri Blumenthal	u**i@l**u	1
Sean Gloumeau	s**u@d**m	1
Patrick Palka	p**k@p**x	1
Peter Selinger	s**r@m**a	1
Pedro Abreu	a**3@g**m	1
Noam Zeilberger	n**r@g**m	1
Nikita Belyakov	p**i@m**u	1
Nick Ivanych	N**k@I**t	1
Moisés Ackerman	6****n	1
Milo Turner	i**s@g**m	1
Michael Coblenz	m****z	1
Max S. New	m**w@g**m	1
Matthias Hutzler	m**r@p**t	1
Matthew Yacavone	m**w@y**t	1
Markus Schlegel	m**l@m**m	1
Manuel Bärenz	p**g@m**e	1
Sergey Vinokurov	s**o@g**m	1
thorimur	6****r	1
tensorknower69	l**0@p**m	1
scholablade	3****e	1
ray851107	1****7	1
person-with-a-username	2****e	1
muchnick0	6****0	1
me	m**e@v**m	1
lane-brain	l**e@m**g	1
james	j**s@p**g	1
identicalsnowflake	i**e@y**m	1
effectfully	e**y@g**m	1
Yotic	5****c	1
Will Hawkins	w**b@o**r	1
VojtechStep	v**k@o**m	1
Vladimir Lopatin	m**3@g**m	1
Tom Jack	t**m@t**o	1
Thomas Lamiaux	8****x	1
Thomas Anberree	t**e@n**n	1
TheVeryDarkness	3**4@q**m	1
The Gitter Badger	b**r@g**m	1
Alex Benishek	a**x@a**m	1
Ahmad Salim Al-Sibahi	a**l@i**k	1
Carl Patenaude Poulin	c**n@m**a	1
Daniel Brown	d**n@c**u	1
Fabien Renaud	f**r@c**e	1
Karl Mehltretter	m**t@c**e	1
Lu, Kuang-Chen	k**3@i**u	1
Farhad Mehta	f**a@o**h	1
Fangyi Zhou	m**e@f**o	1
Evan Cavallo	e**o@m**e	1
Elliot	k**w@g**m	1
Eduard-Gabriel Munteanu	e**u@l**o	1
Daniil Kisel	5****l	1
Daniel Peebles	p**d@g**m	1
Chu	m**u@g**m	1
Chen Zhaoyang	z**3@i**u	1
Chad Perrin	a****n	1
Carlos Tomé Cortiñas	c**s@g**m	1
Carlo Cabrera	3****b	1
Calvin Beck	C****s	1
Brandon Elam Barker	b**r@g**m	1
Beren Evans-Oguz	b****z	1
Asta Halkjær From	a**m@g**m	1
Kostiantyn Rybnikov	k**x@k**m	1
Adam Gundry	a**y@s**k	1
Alex Chapman	a**x@f**t	1
Alex Rice	a**9@h**k	1
AlexD97	a**7@g**m	1
Alexander Ben Nasrallah	m**e@a**h	1
Alexandre Esteves	2****e	1
Alissa Tung	a**g@o**m	1
Anders Kaseorg	a**k@m**u	1
Andrej Bauer	A**r@a**m	1
Andrej Tokarčík	a**k@g**m	1
Anton Setzer	a**r@s**k	1
MaiaVictor	s**a@g**m	1
Louis de Forcrand	o**s@b**h	1
Liam O'Connor	l**c@c**u	1
Li-yao Xia	l**a@g**m	1
Lennart Augustsson	l**t@a**t	1
zjhmale	z**e@g**m	1
Duncan Coutts	d**n@h**g	1
Kei Hibino	e**o@g**m	1
Jörg Thalheim	M****2	1
Julin S	4****h	1
Julian Alfredo Mendez	j**z@g**m	1
Joris Ceulemans	j**s@k**e	1
Jinwoo Lee	j**o@g**m	1
Jeremy Bi	b****u	1
Jason Gross	j**9@g**m	1
Jason Carr	j**0@g**m	1
Jaro	n****e	1
Janek Spaderna	j**k@s**u	1
Jan-Oliver Kaiser	m**l@j**e	1
James McKinna	J**a@h**k	1
James Martin	j**s@j**e	1
James Burton	j**n@b**k	1
István Donkó	i**o@g**m	1
Henry Blanchette	h**y@m**m	1
Haohan Yang	3****g	1
Georgi Lyubenov	g**e@g**m	1
Frédéric Jouault	f****t	1
Forty-Bot	F****t	1
Apostolis Xekoukoulotakis	x**u@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
Andreas Abel	a**l@i**e	488
Amélia Liao	m**e@a**w	43
Jesper Cockx	j**x@c**e	41
Reed Mullanix	r**x@g**m	26
András Kovács	p**c@g**m	21
Naïm Camille Favier	n**@m**i	21
Nathaniel Burke	n**3@g**m	16
Philip Kaludercic	p**k@p**t	10
Szumi Xie	s**e@g**m	7
Lawrence Chonavel	9****o	6
Nils Anders Danielsson	n**d@c**e	6
Ulf Norell	u**n@c**e	5
Copilot	1****t	4
Guillaume Allais	g**s@e**g	4
Maja Kądziołka	m**a@c**s	3
Andy Pan	a**w@y**w	3
Lîm Tsú-thuàn	i**x@d**e	2
Jean-Philippe Bernardy	j****p	2
Nate	s**s@g**m	2
Andreas Nuyts	a**s@k**e	2
Philip Kaludercic	p**l@p**t	2
Simon Jakobi	s**i@g**m	2
Vic	g**b@v**l	2
dependabot[bot] 🤖	4****]	2
MJG	m**i@g**m	2
Yotic	5****c	1
Yee Jian TAN	t**n@g**m	1
VojtechStep	v**k@o**m	1
TheVeryDarkness	3**4@q**m	1
Sylvain Henry	s**n@h**r	1
Sam Toth	s**m@t**k	1
Ryan Hendrickson	r**n@a**u	1
Nick Ivanych	N**k@I**t	1
Liang-Ting Chen	l**w@g**m	1
Josselin Poiret	d**v@j**z	1
Jason Carr	j**0@g**m	1
Jaro	n****e	1
Henry Blanchette	h**y@m**m	1
Fredrik Bakke	f**k@g**m	1
Carlos Tomé Cortiñas	c**s@g**m	1
Beren Evans-Oguz	b****z	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/agda committers