GitHub / oeb25/smtlib-rs committers
A high-level API for interacting with SMT solvers.
Last synced: 2 months ago
Total Commits: 100
Total Committers: 4
Total Bot Commits: 2
Total Bot Committers: 1
Avg Commits per committer: 25.0
Development Distribution Score (DDS): 0.12
Total Committers: 4
Total Bot Commits: 2
Total Bot Committers: 1
Avg Commits per committer: 25.0
Development Distribution Score (DDS): 0.12
Commits in the past year: 35
Committers in the past year: 4
Bot Commits in the past year: 1
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 8.75
Development Distribution Score (DDS) in the past year: 0.314
Committers in the past year: 4
Bot Commits in the past year: 1
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 8.75
Development Distribution Score (DDS) in the past year: 0.314
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/oeb25/smtlib-rs
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/oeb25%2Fsmtlib-rs
| Name | Commits | |
|---|---|---|
| Oliver Bøving | o****r@b****k | 88 |
| Sankalp Gambhir | s****2@g****m | 6 |
| Mrmaxmeier | 3****r | 4 |
| github-actions[bot] 🤖 | 4****] | 2 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| oeb25 | o****g@g****m | 24 |
| Sankalp Gambhir | s****2@g****m | 6 |
| Mrmaxmeier | 3****r | 4 |
| github-actions[bot] 🤖 | 4****] | 1 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.