GitHub / 01mf02/kontroli-rs committers
Alternative implementation of the logical framework Dedukti in Rust
Last synced: 6 days ago
Total Commits: 773
Total Committers: 3
Total Bot Commits: 11
Total Bot Committers: 1
Avg Commits per committer: 257.667
Development Distribution Score (DDS): 0.356
Total Committers: 3
Total Bot Commits: 11
Total Bot Committers: 1
Avg Commits per committer: 257.667
Development Distribution Score (DDS): 0.356
Commits in the past year: 1
Committers in the past year: 1
Bot Commits in the past year: 1
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 1.0
Development Distribution Score (DDS) in the past year: 0.0
Committers in the past year: 1
Bot Commits in the past year: 1
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 1.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/01mf02/kontroli-rs
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/01mf02%2Fkontroli-rs
| Name | Commits | |
|---|---|---|
| Michael Färber | 0****2@g****m | 498 |
| Michael Färber | m****r@g****t | 264 |
| dependabot[bot] 🤖 | 4****] | 11 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| dependabot[bot] 🤖 | 4****] | 1 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.