Ecosyste.ms: Commits

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

GitHub / model-checking/kani committers

Last synced: about 1 year ago

Total Commits: 1,057
Total Committers: 38
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 27.816
Development Distribution Score (DDS): 0.763

Commits in the past year: 566
Committers in the past year: 28
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 20.214
Development Distribution Score (DDS) in the past year: 0.753

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/model-checking/kani
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/model-checking%2Fkani

Name	Email	Commits
Celina G. Val	c**l@a**m	250
Adrian Palacios	7**s@u**m	185
Zyad Hassan	8**s@u**m	154
Ted Kaminski	t**i@a**m	126
Daniel Schwartz-Narbonne	d**n@u**m	86
Alexa VanHattum	a**m@g**m	31
Fabian Zaiser	f**r@a**m	26
Jaisurya Nanduri	9**n@u**m	23
Thomas Del Vecchio	8**s@u**m	20
Michael Tautschnig	t**n@a**m	18
Abdalrhman M Mohamed	8**m@u**m	16
Aaron Bembenek	1**s@u**m	15
Yoshiki Takashima	y**l@a**m	15
Kareem Khazem	k**z@a**m	14
Sanjit Bhat	s**t@g**m	11
Qinheping Hu	q**h@a**m	8
Mark Tuttle	t**e@a**g	7
Nathan Chong	5**s@u**m	7
rahulku	l**k@a**m	6
Sacha Ayoun	s**n@g**m	5
Yoshiki Takashima	y**i@a**u	4
Adrian Palacios	a**l@a**m	4
Rémi Delmas	r**0@g**m	4
Felipe R. Monteiro	r**e@g**m	4
Daniel Schwartz-Narbonne	d**n@a**m	2
Alexa VanHattum	a**4@c**u	2
Ronak Fofaliya	8**f@u**m	2
Chinmay Deshpande	c**a@u**u	2
Ted Kaminski	t**b@g**m	1
Felix S Klock II	p**x@p**g	1
Sam Estep	s**m@s**m	1
Owen Walpole	o**d@h**m	1
Jérôme Dubois	j**s@e**r	1
JanSvejda	j**a@g**m	1
Justus Adam	d**v@j**e	1
Rustmilian	1**n@u**m	1
Sebastien Soudan	s**n@g**m	1
Cameron Bytheway	b**n@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
Celina G. Val	c**l@a**m	140
Zyad Hassan	8**s@u**m	92
Ted Kaminski	t**i@a**m	78
Adrian Palacios	7**s@u**m	76
Daniel Schwartz-Narbonne	d**n@u**m	29
Fabian Zaiser	f**r@a**m	26
Michael Tautschnig	t**n@a**m	18
Aaron Bembenek	1**s@u**m	15
Yoshiki Takashima	y**l@a**m	15
Kareem Khazem	k**z@a**m	14
Jaisurya Nanduri	9**n@u**m	11
Sanjit Bhat	s**t@g**m	11
Qinheping Hu	q**h@a**m	8
rahulku	l**k@a**m	6
Sacha Ayoun	s**n@g**m	5
Felipe R. Monteiro	r**e@g**m	4
Rémi Delmas	r**0@g**m	4
Yoshiki Takashima	y**i@a**u	3
Nathan Chong	5**s@u**m	2
Sam Estep	s**m@s**m	1
JanSvejda	j**a@g**m	1
Rustmilian	1**n@u**m	1
Justus Adam	d**v@j**e	1
Jérôme Dubois	j**s@e**r	1
Owen Walpole	o**d@h**m	1
Cameron Bytheway	b**n@g**m	1
Felix S Klock II	p**x@p**g	1
Sebastien Soudan	s**n@g**m	1

Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.