alectryon committers

A collection of tools for writing technical documents that mix Coq code and prose.

Last synced: 4 days ago

Total Commits: 1,467
Total Committers: 17
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 86.294
Development Distribution Score (DDS): 0.037

Commits in the past year: 474
Committers in the past year: 7
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 67.714
Development Distribution Score (DDS) in the past year: 0.013

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/cpitclaudel/alectryon
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/cpitclaudel%2Falectryon

Name	Email	Commits
Clément Pit-Claudel	c**l@l**m	1412
Niklas Bülow	m**e@n**m	31
jeremy damour	j**2@g**m	7
Eric	e**i@g**m	4
Enrico Tassi	E**i@i**r	1
Gaëtan Serré	5****e	1
Graham Leach-Krouse	g**r@g**m	1
Jade Philipoom	j**p@g**m	1
Jason Gross	j**s@m**u	1
Karl Palmskog	p**g@g**m	1
Maciej Barć	x**t@g**g	1
MathisBD	m**t@e**u	1
Pim Otte	p**e@u**l	1
Shohei YOSHIDA	s**x@g**m	1
Tej Chajed	t**d@m**u	1
William Kwan	w**l@g**m	1
flavien	f**d@e**h	1

Excludes empty and merge commits.

Name	Email	Commits
Clément Pit-Claudel	c**l@e**h	468
flavien	f**d@e**h	1
William Kwan	w**l@g**m	1
Pim Otte	p**e@u**l	1
MathisBD	m**t@e**u	1
Graham Leach-Krouse	g**r@g**m	1
Enrico Tassi	E**i@i**r	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 / cpitclaudel/alectryon committers