Ecosyste.ms: Commits

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

GitHub / LeventErkok/sbv committers

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Last synced: 10 days ago

Total Commits: 6,379
Total Committers: 46
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 138.674
Development Distribution Score (DDS): 0.114

Commits in the past year: 496
Committers in the past year: 3
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 165.333
Development Distribution Score (DDS) in the past year: 0.026

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/LeventErkok/sbv
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2Fsbv

Name	Email	Commits
Levent Erkok	e**l@g**m	5652
Levent Erkok	l**k@i**m	320
Levent Erkok	l**k@a**m	86
Brian Schroeder	b**s@g**m	55
doyougnu	j**2@g**m	54
Brian Huffman	h**n@g**m	53
Joel Burget	j**t@g**m	39
Adam C. Foltzer	a**r@g**m	14
Sirui Lu	s**u@c**u	13
Austin Seipp	a**s@h**g	10
Ollie Charles	o**e@o**k	10
Iavor S. Diatchki	d**i@g**m	7
Robert Dockins	r**s@g**m	7
Levent Erkok	L**k@i**)	6
[email protected]	l**e@g**m	5
Ryan Scott	r**t@g**m	4
eax	e**x@l**t	3
Jan Path	j**n@j**e	3
Markus Barenhoff	m**h@a**g	3
octalsrc	n**2@g**m	3
Christian Conkle	c**n@c**g	2
Daniel Wagner	d**t@g**m	2
Lars Kuhtz	l**s@k**o	2
Matthew Peddie	m**e@g**m	2
matthew.torrence	m**e@t**m	2
Kanishka Azimi	n**5@g**m	2
Trevor Elliott	t**r@g**m	1
Tom Sydney Kerckhove	s**e@g**m	1
Stephan Renatus	s**s@c**o	1
Shao Cheng	c**o@t**o	1
Richard Fergie	r**b@g**m	1
Ken Friis Larsen	k**n@f**t	1
Jan Path	m**l@j**e	1
Jan Hrček	h**k@g**m	1
HugoPeters1024	h**4@g**m	1
Curran McConnell	c**n@a**m	1
levent.erkok	l**k@p**m	1
mpdairy	m**p@k**m	1
Greg Horn	g**d@g**m	1
Georgy Lukyanov	g**v@g**m	1
George Thomas	g**s@g**m	1
Eric Seidel	g**e@g**m	1
Bodigrim	a**o@g**m	1
Alex Dixon	a**x@g**m	1
arrowdodger	6**d@g**m	1
tomjaguarpaw	t**m@j**k	1

Excludes empty and merge commits.

Name	Email	Commits
Levent Erkok	e**l@g**m	483
Sirui Lu	s**u@c**u	10
octalsrc	n**2@g**m	3

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