rfcs committers

Rocq RFCs: documents to discuss changes to the Rocq Prover

Last synced: 2 months ago

Total Commits: 103
Total Committers: 17
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 6.059
Development Distribution Score (DDS): 0.786

Commits in the past year: 17
Committers in the past year: 4
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 4.25
Development Distribution Score (DDS) in the past year: 0.294

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/rocq-prover/rfcs
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-prover%2Frfcs

Name	Email	Commits
Enrico Tassi	E**i@I**r	22
Théo Zimmermann	t**n@t**r	18
Pierre-Marie Pédrot	p**t@i**r	12
Erik Martin-Dorel	e**l@i**r	11
Enrico	g**s@f**g	10
Jason Gross	j**9@g**m	7
Hugo Herbelin	H**n@i**r	5
Emilio Jesus Gallego Arias	e**t@x**g	3
Gabriel Scherer	g**r@g**m	2
Gaëtan Gilbert	g**t@s**t	2
Jim Fehrle	j**e@g**m	2
Laurent Théry	t**y@s**r	2
letouzey	p**y@i**r	2
Andres Erbsen	a**s@k**g	2
Jonathan Leivent	j****t	1
Julin S	4****h	1
Meven Lennon-Bertrand	5****d	1

Excludes empty and merge commits.

Name	Email	Commits
Théo Zimmermann	t**n@t**r	12
Gabriel Scherer	g**r@g**m	2
Enrico Tassi	E**i@i**r	2
Meven Lennon-Bertrand	5****d	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 / rocq-prover/rfcs committers