trocq committers

A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]

Last synced: about 17 hours ago

Total Commits: 210
Total Committers: 10
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 21.0
Development Distribution Score (DDS): 0.571

Commits in the past year: 61
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: 15.25
Development Distribution Score (DDS) in the past year: 0.311

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/rocq-community/trocq
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Ftrocq

Name	Email	Commits
Cyril Cohen	c**n@c**g	90
Enzo Crance	e**e@i**r	52
Tomas Vallejos	t**2@g**m	42
Mysaa Java	m**a@h**r	14
Pierre Roux	p**x@o**r	5
Karl Palmskog	p**g@g**m	2
Enrico Tassi	E**i@i**r	2
Lucie Lahaye	1****x	1
Assia Mahboubi	a**i@i**r	1
Lucie	g**b@t**r	1

Excludes empty and merge commits.

Name	Email	Commits
Tomas Vallejos	t**2@g**m	42
Mysaa Java	m**a@h**r	13
Cyril Cohen	c**n@i**r	4
Enrico Tassi	E**i@i**r	2

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-community/trocq committers