Ecosyste.ms: Commits

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

GitHub / GaloisInc/cryptol committers

Cryptol: The Language of Cryptography

Last synced: 21 days ago

Total Commits: 3,779
Total Committers: 71
Total Bot Commits: 11
Total Bot Committers: 1
Avg Commits per committer: 53.225
Development Distribution Score (DDS): 0.766

Commits in the past year: 218
Committers in the past year: 11
Bot Commits in the past year: 5
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 19.818
Development Distribution Score (DDS) in the past year: 0.67

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/GaloisInc/cryptol
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcryptol

Name	Email	Commits
Iavor Diatchki	i**i@g**m	884
Rob Dockins	r**s@g**m	604
Brian Huffman	h**n@g**m	554
Adam C. Foltzer	a**r@g**m	232
Trevor Elliott	t**r@g**m	231
Aaron Tomb	a**b@g**m	224
Ryan Scott	r**t@g**m	185
Bretton	q****r	170
Henry Blanchette	h**y@m**m	116
Matthew Yacavone	m**w@y**t	86
Jared Weakly	j**y@g**m	62
Andrew Kent	a**w@g**m	48
Dylan McNamee	d**n@g**m	35
Kevin Quick	k**k@g**m	35
Ryan	m**y@g**m	31
Thomas M. DuBuisson	t**d@g**m	24
David Thrane Christiansen	d**c@g**m	23
Eric Mertens	e**s@g**m	20
Marcella Hastings	m**a@g**m	18
Eric Mullen	e**n@g**m	16
Thomas M. DuBuisson	t**n@g**m	16
Lisanna Dettwyler	l**a@g**m	11
dependabot[bot] 🤖	4****]	11
Felix Yan	f**s@a**g	11
Ben Selfridge	b**e@g**m	11
Adam C. Foltzer	a**r@g**m	11
Daniel Wagner	d**t@g**m	7
Brett Boston	b**n@g**m	7
Chris Phifer	c**r@g**m	6
Joseph Kiniry	k**y@g**m	6
Sean Weaver	w**a@g**m	6
Joey Dodds	j**s@g**m	5
Levent Erkok	e**l@g**m	5
David Lazar	l**d@m**u	4
Aaron Tomb	a**b@g**m	4
Sam Anklesaria	s**a@g**m	4
Mark Tullsen	t**n@g**m	3
Rajan Walia	r**a@.**m	3
Diatchki	d**i@a**m	3
Andrei Stefanescu	a**i@s**o	3
Austin Seipp	a**p@p**m	3
LisannaAtGalois	7****s	3
Taimoor Zaeem	m**m@g**m	3
M Knight	m**t@t**d	2
bryant	b**t@d**n	2
David Holland	d**d@g**m	2
yuuko	y****o	2
Valentin Robert	v**l@g**m	2
James LaMar	j**r@g**m	2
Alexander Bakst	a**t@g**m	2
Nicolas Braud-Santoni	n**s@b**u	1
Sergei Trofimovich	s**t@g**m	1
ddh	d**t@g**m	1
orchid	o****d	1
John Samuels	j**8@g**m	1
Nathan Collins	c**n@g**m	1
Mark Saaltink	m****k	1
Ian Sweet	i**t@g**m	1
Iavor Diatchki	d**i@p**m	1
Jared Weakly	j**y@g**m	1
Jenkins Builder	e**c@g**m	1
Levent Erkok	l**k@i**m	1
lemmarathon	l**n@p**m	1
Sergei Trofimovich	s**x@g**g	1
Max Orhai	M****i	1
Jared Ziegler	j****r	1
Fabian Beuke	m**l@b**g	1
Clint Adams	c**t@g**t	1
Andrey Chudnov	a**y@c**m	1
Adrian Herrera	a**2@g**m	1
Rob Dickerson	r**n@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
Ryan Scott	r**t@g**m	72
Iavor Diatchki	i**i@g**m	60
Ryan	m**y@g**m	31
Marcella Hastings	m**a@g**m	18
Eric Mertens	e**s@g**m	16
Kevin Quick	k**k@g**m	8
dependabot[bot] 🤖	4****]	5
Mark Tullsen	t**n@g**m	3
David Holland	d**d@g**m	2
Valentin Robert	v**l@g**m	2
Bretton	q****r	1

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