GitHub / logicalhacking/featherweight_ocl committers
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
Last synced: 29 days ago
Total Commits: 30
Total Committers: 1
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 30.0
Development Distribution Score (DDS): 0.0
Total Committers: 1
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 30.0
Development Distribution Score (DDS): 0.0
Commits in the past year: 0
Committers in the past year: 0
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 0.0
Development Distribution Score (DDS) in the past year: 0.0
Committers in the past year: 0
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 0.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/logicalhacking/featherweight_ocl
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2Ffeatherweight_ocl
| Name | Commits | |
|---|---|---|
| Achim D. Brucker | a****r@0****g | 30 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.