GitHub / LeventErkok/sbvPlugin committers
Formally prove properties of Haskell programs using SBV/SMT.
Last synced: 7 months ago
Total Commits: 451
Total Committers: 6
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 75.167
Development Distribution Score (DDS): 0.038
Total Committers: 6
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 75.167
Development Distribution Score (DDS): 0.038
Commits in the past year: 14
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 14.0
Development Distribution Score (DDS) in the past year: 0.0
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 14.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/LeventErkok/sbvPlugin
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin
| Name | Commits | |
|---|---|---|
| Levent Erkok | e****l@g****m | 434 |
| Levent Erkok | l****k@a****m | 10 |
| Levent Erkok | l****k@i****m | 3 |
| Nickolas Fotopoulos | n****s@g****m | 2 |
| Stephan Renatus | s****s@c****o | 1 |
| Thomas M. DuBuisson | t****d@m****v | 1 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| Levent Erkok | e****l@g****m | 14 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.