GitHub / agda/agda-ghc-names committers
Tool for making sense of the Haskell code generated by the Agda compiler
Last synced: 12 months ago
Total Commits: 5
Total Committers: 2
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 2.5
Development Distribution Score (DDS): 0.2
Total Committers: 2
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 2.5
Development Distribution Score (DDS): 0.2
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/agda/agda-ghc-names
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-ghc-names
| Name | Commits | |
|---|---|---|
| Wolfram Kahl | k****l@c****a | 4 |
| Ulf Norell | u****l@g****m | 1 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.