liquidhaskell committers

Liquid Types For Haskell

Last synced: 2 months ago

Total Commits: 11,223
Total Committers: 113
Total Bot Commits: 1
Total Bot Committers: 1
Avg Commits per committer: 99.319
Development Distribution Score (DDS): 0.635

Commits in the past year: 680
Committers in the past year: 13
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 52.308
Development Distribution Score (DDS) in the past year: 0.271

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/ucsd-progsys/liquidhaskell
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquidhaskell

Name	Email	Commits
Ranjit Jhala	j**a@c**u	4097
nikivazou	n**u@g**m	2689
Facundo Domínguez	f**z@t**o	922
Eric Seidel	g**e@g**m	818
Alfredo Di Napoli	a**o@w**m	310
Ranjit Jhala	r**a@r**)	233
Panagiotis Bougoulias	p**s@i**g	198
Michael Smith	m**l@d**m	155
Chris Tetreault	c**s@d**m	135
rjhala	r**a@g**)	126
Vassil Keremidchiev	v**i@g**m	117
Alex Gryzlov	a**u@i**g	109
Yiyun Liu	l**n@t**u	92
Zack Grannan	z**n@g**m	78
Alan Zimmerman	a**m@g**m	78
Matt Walker	m**r@t**o	77
Phil de Joux	p**t@g**m	71
yanhasu	8****u	64
Lisa Vasilenko	v**a@g**m	63
Alessio Ferrarini	a**i@i**g	57
Ranjit Jhala	r**a@g**u	56
Anish Tondwalkar	a**l@u**u	53
Tommy Bidne	t**e@p**m	51
Matt Walker	m**r@g**m	50
niki	n**i@n**p	44
Elizaveta Vasilenko	e**o@i**g	42
James Parker	d**v@j**e	40
Benjamin Cosman	b**n@c**u	36
Gergo ERDI	g**o@e**u	25
Niki Vazou	n**u@g**u	20
Renan	r**1@g**m	20
Mathieu Boespflug	m**@t**o	19
curiousleo	c****o	16
Ranjit Jhala	r**a@e**u	16
Niki Vazou	n**u@b**)	13
Andres Loeh	a**s@w**m	12
Oleg Grenrus	o**s@i**i	11
Peter Simons	s**s@c**o	11
Pat Rondon	p**n@c**u	11
Alexander Bakst	a**t@c**u	10
Jonathan Arnoult	j**t@t**o	9
Vassil Keremidchiev	v**v@c**m	8
PLR	5****d	7
michaelborkowski	m**i@u**u	7
Joachim Breitner	m**l@j**e	7
Afonso	a**l@s**t	6
Austin Seipp	a**p@p**m	6
Gabriel Gonzalez	G**9@g**m	6
Roland Coeurjoly	r**y@g**m	6
waddlaw	i**e@g**m	6
michaelbeaumont	m**l@g**m	5
Andrew Martin	a**n@l**m	5
Matt Chan	m**n@a**m	5
sorawee	s**p@b**u	4
Lee Pike	l**e@v**m	4
Valentin Robert	v**2@g**m	4
Hizbullah Abdul Aziz Jabbar	a**g@g**m	4
Georgi Lyubenov	g**e@g**m	4
Ryan Scott	r**t@g**m	4
Rose Kunkel	r**e@r**e	3
Ranjit Jhala	j**a@u**)	3
Niki	n**i@N**l	2
Ranjit Jhala	p**a@g**)	2
Jordan Brown	j**n@a**u	2
Brian Wignall	b**l@g**m	2
Kartik Singhal	k**l@g**m	2
Kyly	k**s@g**m	2
Luke Cycon	l**n@g**m	2
Vsevolod	s**v@g**m	2
TAKAHASHI Yuto	y**v@g**m	2
Shambo Chowdhury	5****o	2
Quentin Aristote	6****e	2
Minsheng Liu	l**a@l**s	2
Matthew Chan	m**t@a**m	2
niki	n**i@n**l	1
Will Kunkel	w**l@w**m	1
Thomas M. DuBuisson	t**d@g**m	1
Ranjit Jhala	j**a@g**l	1
Ranjit Jhala	r**a@R**l	1
Xavier Góngora	i**e@p**h	1
bbyler-sideqik	9****k	1
bmcfluff	b**f@g**m	1
dependabot[bot] 🤖	4****]	1
lyxia	l**a@g**m	1
superfunc	s****c	1
Abhiroop Sarkar	a**s@g**m	1
Alex R	r**4@g**m	1
Boris Shingarov	s**v@l**m	1
Chris Done	c**e@g**m	1
Chris Tetreault	c****t	1
Denis Redozubov	d**v@g**m	1
Eivind	e**n@g**m	1
Gabriel Hondet	7****t	1
Herbert Valerio Riedel	h**r@g**g	1
Manuel Uberti	m**i@i**g	1
Michael Ficarra	g**b@m**e	1
Mustafa	m**6@g**m	1
Simon Marechal	b**e@g**m	1
Shea Levy	s**a@s**m	1
Santiago Saavedra	s**a@f**s	1
Romain Ruetschi	r****c	1
Racherb	4****b	1
Olaoluwa Mustapha	3****M	1
Niklas Gruhn	n**s@g**e	1
Niki	n**i@h**m	1
Matthew Healy	m**y@t**o	1
Gergo Erdi	g**i@s**m	1
Gabriel Gonzalez	g**l@a**m	1
Chris Tetreault	c**s@m**l	1
Chris Tetreault	c**s@m**u	1
shhyou	s**u@e**u	1
prof jhala	p**a@r**)	1
David Shere	d**e@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
Facundo Domínguez	f**z@t**o	496
Alessio Ferrarini	a**i@i**g	57
Alex Gryzlov	a**u@i**g	47
Gergo ERDI	g**o@e**u	25
Niki Vazou	n**u@g**m	16
Ranjit Jhala	r**a@u**u	15
Jonathan Arnoult	j**t@t**o	9
Roland Coeurjoly	r**y@g**m	6
Hizbullah Abdul Aziz Jabbar	a**g@g**m	4
Shambo Chowdhury	5****o	2
Xavier Góngora	i**e@p**h	1
Olaoluwa Mustapha	3****M	1
Gergo Erdi	g**i@s**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 / ucsd-progsys/liquidhaskell committers