Ecosyste.ms: Commits

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

GitHub / idris-lang/Idris-dev committers

A Dependently Typed Functional Programming Language

Last synced: 2 days ago

Total Commits: 7,492
Total Committers: 391
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 19.161
Development Distribution Score (DDS): 0.769

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/idris-lang/Idris-dev
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev

Name	Email	Commits
Edwin Brady	e**0@s**k	1729
David Raymond Christiansen	d**d@d**k	981
Edwin Brady	e**b@c**k	587
raichoo	r**o@g**m	389
Jan de Muijnck-Hughes	j**m@s**k	306
Matus Tejiscak	z**n@f**k	299
Niklas Larsson	n**s@m**t	279
Benjamin Saunders	b**e@s**a	218
Ahmad Salim Al-Sibahi	a**l@i**k	144
Melvar Chen	M**n@g**m	108
Jason Felice	j**e@g**m	100
Jan Bessai	J**i@t**e	84
Michael Morgan	m**l@m**m	81
Steven Shaw	s**n@s**g	80
Jan de Muijnck-Hughes	j**s@g**k	74
Hannes Mehnert	h**s@m**g	62
bmsherman	b****n	55
Rui Barreiro	r**o@g**m	50
Echo Nolan	e**o@e**t	50
Martin Baker	g**5@m**m	49
Jorge Acereda	j**a@g**m	46
Jeremy W. Sherman	j**n@g**m	42
martinbaker	g**5@m**m	41
Heather	h**r@l**u	39
Alyssa Carter	t**a@g**m	37
Dominic Mulligan	d**n@g**m	34
melissam	m**6@s**k	33
Philip Rasmussen	p**r@i**k	33
startling	t**3@g**m	29
Leif Warner	a**h@g**m	29
Alex Gryzlov	s**t@g**m	28
Synthetica9	p**7@g**m	27
Markus Pfeiffer	m**r@m**e	27
Timo Petteri Sinnemäki	t**i@h**i	27
Shea Levy	s**a@s**m	26
BlackBrane	c**r@g**m	25
be5invis	b**e@t**t	24
Brian McKenna	b**n@b**g	24
Paul Koerbitz	p**z@t**m	24
Nick Drozd	n**d@g**m	22
Andreas Reuleaux	a**x@a**o	21
Ozgur Akgun	o**n@g**m	20
Adam Sandberg Eriksson	a**m@s**e	19
Joomy Korkut	j**y@c**m	19
Alex Queiroz	a**q@g**m	18
iko	i**0@g**m	18
howtonotwin	r**e@g**m	17
Ryan Scott	r**t@g**m	17
Mekeor Melire	m**r@y**m	16
Reynir Reynisson	r**r@r**k	16
zjhmale	z**e@g**m	15
JP Smith	j**h@i**u	15
Denis Buzdalov	p**c@b**u	15
Daniel Waterworth	D**h@g**m	14
Mort Yao	m**o@g**m	14
Markus Pfeiffer	m**p@m**k	14
stepcut	j**y@n**m	13
Alex Gryzlov	a**v@a**m	13
Saurabh Rawat	s**0@g**m	12
Felix Yan	f**s@a**g	11
Jonas Claeson	j**l@p**m	11
Greg Pfeil	g**g@t**g	11
Zack Grannan	z**n@g**m	11
Leif Warner	l**f@j**m	11
Sam T	s**u@g**m	11
Sebastian de Bellefon	a**b@g**m	10
Sune Alkærsig	s**l@i**k	9
gpyh	y**o@g**m	9
Chetan T	c**t@g**m	9
Bartosz Przygoda	b**a@g**m	9
Thomas Scholtes	t**s@g**e	9
Jacob Mitchell	j**l@m**g	9
Sam Elliott	s**m@l**k	9
Guillaume Yziquel	g**l@g**m	9
XeFias	x**s@g**m	8
Calvin Beck	h**s@u**a	8
Guglielmo Fachini	g**o@f**t	8
Norbert Melzer	t**r@g**m	8
Jason Dagit	d**t@g**m	7
Markus Klink	j**z@g**m	7
Colin Adams	c**s@g**m	7
Chris Gibbs	a****c	7
Attila Lendvai	a**a@l**e	7
Andy Morris	a**y@a**k	7
Stephen Drodge	s**e@g**m	7
Gabe McArthur	g**c@c**m	7
Paul Koerbitz	p**z@s**e	7
Benjamin Hodgson	b**n@h**m	7
zenntenn	z**n@z**a	7
Jürgen Peters	t**l@x**e	7
max ulidtko	u**o@g**m	7
Vincent Hanquez	v**t@s**g	6
Sventimir	s**r@g**m	6
Alexander Shabalin	s**a@g**m	6
Joseph Morag	j**7@c**u	6
Jonas De Vuyst	j**v@f**e	6
Jean-Remi Desjardins	j**s@g**m	6
George Leontiev	f**e@g**m	6
Edmund Smith	e**h@g**m	6
Conjunctive	c**e@p**m	6
Brent Yorgey	b**y@g**m	6
joe9	j**l@g**m	6
Tenor Biel	t**l@g**m	5
Jefferson Carpenter	j**2@g**m	5
Ilya Yanok	i**k@g**m	5
stop-cran	s**n@l**u	5
doofin	8**h@g**m	5
Kester Tong	k**t@g**m	5
Jakob Brünker	j**r@g**m	5
Aaron Craelius	a**s@g**m	5
johnny-john	j**i@c**u	5
Michael Morgan	m**n@m**m	5
PoroCYon	p**n@o**g	5
RyanGlScott	r**t@k**u	5
Eric Weinstein	e**n@g**m	5
Oskar Wickström	o**m@g**m	5
Scott Bonds	s**t@g**m	5
Simon Fowler	s**n@s**m	5
Mattias Lundell	m**s@l**m	5
Apostolis Xekoukoulotakis	a**s@g**m	4
Dmitry Tsygankov	d**v@g**m	4
Eric Walkingshaw	e**c@w**t	4
Guillaume Allais	g**s@e**g	4
Jens Petersen	j**n@g**m	4
Michael Maloney	t**0@g**m	4
Oling Cat	o**t@g**m	4
aiya000	a**p@g**m	4
defanor	d**r@u**t	4
Chris Ford	c**d@g**m	4
Björn Aili	b**i@g**m	4
Markus Klink	m**k@i**e	4
Irene Knapp	i**p@g**m	4
Edward O'Callaghan	e**n@a**m	4
mrb	m**n@g**m	4
Andrew Cann	s**m@c**g	4
Carsten König	C**n@g**e	4
Tom Prince	t**e@u**t	3
Vaibhav Sagar	v**r@g**m	3
worldsayshi	p**s@g**m	3
Сухарик	s**r@i**g	3
Aistis Raulinaitis	s**s@g**m	3
RossMeikleham	r**m@h**k	3
Robert Clipsham	r**t@o**m	3
Rob Stewart	r**7@g**m	3
Nathan Dinsmore	n****n	3
Molly Miller	s****t	3
Craig Ramsay	c**1@g**m	3
Dmitry Bushev	b**v@g**m	3
Eduard Nicodei	e**i@g**m	3
Langston Barrett	l**t@g**m	3
Matthias Heinzel	m**l@p**e	3
Marko Dimjašević	m**o@c**u	3
Juliusz Chroboczek	j**h@p**r	3
Peter Minten	p**n@o**l	3
Simon Fowler	s**7@s**k	3
Edward Amsden	e**d@e**m	3
Boro Sitnikovski	b**h@g**m	2
Brian Koropoff	b**f@g**m	2
Bryn Keller	x**r@x**g	2
Christopher Schwaab	c**b@g**m	2
Craig McLaughlin	m**l@l**k	2
David Smith	s**1@g**m	2
Dmitry Nikulin	P****t	2
EvanR	e**t@g**m	2
Fabian Thorand	f**d@g**m	2
Miëtek Bak	m**k@b**o	2
Jeff Petkau	j****u	2
Johannes Griebler	j**r@g**m	2
Jon Atack	j**n@a**m	2
Kim Stebel	k**l@g**m	2
Kyarigwo	b**a@i**u	2
Louis Pilfold	l**s@l**k	2
Mathnerd314	m**s@g**m	2
Mitchell Rosen	m**n@g**m	2
Mark Farrell	m**l@u**a	2
Niklas Larsson	n**n@t**l	2
Saurabh Rawat	e**a@S**l	2
Sean Hunt	s**t@c**a	2
Alex Gryzlov	a**v@a**m	2
Andreas Bogk	a**s@o**g	2
Jan Stolarek	j**k@p**l	2
Tuncer Ayaz	t**z@g**m	2
suhorng	s**g@g**m	2
mandubian	p**l@p**m	2
bmsherman	b**n@e**m	2
Vyacheslav Shebanov	t**0@g**m	2
XIE Yuheng	x**e@g**m	2
bmastenbrook	b**n@m**t	2
Vekhir	1****r	2
Alexandre Esteves	2****e	2
Fabian Heredia Montiel	f**r@g**m	2
Ilya Rezvov	i**v@r**m	2
Vitaly Bragilevsky	b**1@g**m	2
Sal Wolffs	G****a	2
Risto Stevcev	r**1@g**m	2
Ricky Elrod	r**y@e**e	2
Richard Beddington	r**n@g**m	2
identical snowflake	i**e@y**m	2
uwap	m**e@u**e	2
Alex Feldman-Crough	a**x@f**m	2
anthony cantor	c**a@g**i	2
Bjarki Ágúst Guðmundsson	s**d@g**m	2
Andrei Dziahel	d**7@d**o	2
Alex Humphreys	a****s	2
Adam Schønemann	a**n@g**m	2
Tim McGilchrist	t**l@g**m	2
Seo Sanghyeon	s**n@g**m	2
Ignas Vyšniauskas	b**a@g**m	2
Ilan Godik	i**0@g**m	2
Imuli	i**@i**i	2
Irene Knapp	i**p@i**m	2
Jack Henahan	j**n@u**u	2
Jason Gross	j**s@m**u	2
Rui Gonçalves	r**g@g**m	2
JC	j**r@g**m	2
Sergei Trofimovich	s**x@g**g	1
Luke Palmer	l**i@c**m	1
Michael Weiss	w**m@a**s	1
Niklas Larsson	n**n@s**m	1
Niriel	b**8@g**m	1
Gleb Alexeyev	a**g@a**l	1
Evan Jenkins	e**k@e**m	1
Edwin Brady	e**n@z**l	1
Edwin Brady	e**n@f**)	1
Edwin Brady	e**n@d**k	1
Edwin Brady	e**n@b**)	1
Edward Amsden	e**n@g**m	1
Joseph Morag	j**g@c**u	1
Joseph Huang	j**h@m**m	1
Sebastian Dröge	s**n@c**m	1
Sergei Trofimovich	s**t@g**m	1
Shane Pearman	s****n	1
Julian Kniephoff	m**e@j**m	1
Junior Rojas	j**s@g**m	1
Jurriën Stutterheim	j**m@m**m	1
Kevin Boulain	k**n@g**m	1
Leandro Ostera	l**o@o**o	1
Leon Schoorl	l**l@s**l	1
Luo Chen	l**0@g**m	1
Tim Dysinger	t**m@d**t	1
TorosFanny	s**m@g**m	1
Trevon Sutton	t**v@g**m	1
Trevor Elliott	t**r@g**m	1
Vanessa McHale	v****e	1
VinothKumar Raman	v**b@g**m	1
William Wennerström	w**m@o**e	1
a3gis	a****s	1
allancto	a****o	1
Brian Wignall	b**l@g**m	1
Caleb Case	c**e@g**m	1
Cameron Alexander	e**h@g**m	1
Carter Charbonneau	z**c@g**m	1
Casper M. H. Holmgreen	c**n@g**m	1
cswords	c**s@u**u	1
cchantep	c**e@a**g	1
Jonas Westerlund	j**d@m**m	1
jinbijin	3****n	1
klangner	k**r@g**m	1
klrr	k**s@g**m	1
lodi	a**i@g**m	1
michaelmcgirr	m**r@g**m	1
mitchmindtree	m**e@g**m	1
mmhelloworld	m**d@g**m	1
olegv11	o**k@g**m	1
rbasso	r**o@s**t	1
undefdev	u**v@g**m	1
xged	x**0@g**m	1
Soham Chowdhury	c**m@g**m	1
Stefan Bleibinhaus	s**s@g**m	1
Stevan Andjelkovic	s**c@s**k	1
Stuart Gale	b**a@g**m	1
Sven Koschnicke	s**e@g**m	1
Takaaki Seki	o**s@g**m	1
Taran Lynn	t**0@g**m	1
Temirkhan Myrzamadi	h**t@g**m	1
Tesla Ice Zhang‮	i**n@f**m	1
J.W	j**s@g**m	1
Hadi Moshayedi	h**i@c**m	1
Benjamin Hodgson	b**n@s**m	1
Average-user	l**s@g**m	1
Alexander Berntsen	a**r@p**t	1
Dmitry Shlagoff	w**e@m**u	1
Darin Morrison	d**t@g**m	1
Tom Harding	T**m@T**l	1
Sune Alkaersig	s**e@S**l	1
Stephan Brandauer	s**r@i**e	1
pkel	p**@k**e	1
lambdadomain	g**2@A**l	1
Chao-Hong Chen	d**r@g**m	1
Chris Allen	c**a@b**m	1
Christophe Calvès	C**s@g**m	1
Cliff L. Biffle	c**e@c**m	1
Daniel Firth	l**t@g**m	1
Daniël Heres	d**s@g**m	1
Dave Willmer	d**r@g**m	1
Lynn	l**n@f**e	1
Thomas Cooper	m**n@a**m	1
Josh Vera	v**a@g**m	1
Eric Bailey	e**c@e**e	1
David Feuer	D**r@g**m	1
David Honour	d**d@c**k	1
David Kraeutmann	k**e@k**x	1
Deniz A. Durmaz	d**d@o**r	1
Dennis Griffith	i**y@g**m	1
Derek Morr	d**t@g**m	1
Dmitry Kovanikov	k**v@g**m	1
Dmitry Malikov	m**y@g**m	1
2426021684	2****4	1
Adolfo Ochagavía	a**2@g**m	1
Alex Berg	c****r	1
Alexander Iljin	a**t@y**u	1
Andreas Bogk	a**s@a**g	1
Andreas Ländle	a**e@d**m	1
Andrew Bruce	m**e@a**t	1
Andrew Miller	a**w@a**m	1
Andrew Skiba	s**a@g**m	1
Andrew Stewart Gibson	a**w@g**m	1
André Videla	a**a@g**m	1
Andy Caldwell	a**l@m**m	1
Anthony	f****e	1
Philippe Lafontaine	l**e@g**m	1
Pawel Sawicz	p**z@p**m	1
Paul Ivanov	p**i@b**u	1
Athan Clark	a**k@g**m	1
Ben Gamari	b**n@s**g	1
Ben Moon	s**e@g**m	1
Boyd Stephen Smith Jr	b**s@i**t	1
Dominik Peteler	g**b@w**t	1
Hadi Moshayedi	h**i@m**t	1
Heather	C**e@G**g	1
Heather	H****r	1
Hector A. Escobedo IV	n**o@g**m	1
Ivan Perez	i**z@k**k	1
Jacek Podkanski	r**t@g**m	1
Jack Ek	2****c	1
Jacob Errington	g**t@m**e	1
Jan Doms	j**s@g**m	1
Jeff Hemphill	j**l@f**m	1
Jelle Besseling	j**e@p**m	1
Johann Rudloff	j**n@s**t	1
John Wiegley	j**w@n**m	1
Jonathan	v****n	1
Jonathan Sterling	j**g@m**m	1
Artem Ohanjanyan	A**n@g**m	1
Michael Thompson	w**g@y**m	1
Michal Kleczek	m**l@k**g	1
Michel Bøje Randahl Nielsen	m**l@r**t	1
Miikka Koskinen	m**n@i**i	1
Silvan Mosberger	i**l@i**m	1
badbadboy	p**n@g**m	1
ben-schulz	b**z@g**m	1
comco	v**d@g**m	1
dkeehl	d**l@g**m	1
eric casteleijn	t**d@g**m	1
fiendfan1	f**1@y**m	1
janschultecom	j**n@j**m	1
jhegedus42	j**2@g**m	1
Patrik Jansson	p**a@g**m	1
Naman Bharadwaj	n****j	1
Márton Boros	m**s@g**m	1
Milan Kral	m**l@a**k	1
Mike Pilgrem	m****m	1
Rahul Muttineni	r**t@g**m	1
Reiner Dolp	r****p	1
Rizo Isrof	r**f@g**m	1
Robbert Gurdeep Singh	m**n@g**m	1
Robert Edström	r**m@g**m	1
Eric Mertens	e**s@g**m	1
Erkin Batu Altunbaş	e**u@g**m	1
Ertugrul Söylemez	e**s@e**e	1
Franklin Chen	f**n@f**m	1
Frederic Koehler	f**7@g**m	1
Frederik Vigen	f**n@g**m	1
Friedrich von Never	f**h@f**e	1
Gabor Greif	g**f@g**m	1
Gabriel Garcia	g**t@l**m	1
Gabriel McArthur	g**r@g**m	1
Gareth Smith	g**h@g**m	1
George	g**e@p**m	1
Greg	g**4@g**m	1
雾雨魔理沙	l**a@m**e	1
MarcelineVQ	m**q@g**m	1
Mario Lang	m**g@d**g	1
Martin	m**n@m**m	1
Matthew Pickering	m**g@g**m	1
Matvey B. Aksenov	m**v@g**m	1
Merlin Göttlinger	m**r@g**m	1
Michael A. Smith	m**l@s**m	1
Michael Gilliland	m**3@g**m	1
Michael Hensler	m**r@m**m	1
Robert Hencke	r**e@g**m	1

Excludes empty and merge commits.

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