GitHub / deividrvale/crit committers
A tool for automating Rewriting Induction (RI) for Logically Constrained Term Rewriting Systems (LCTRSs)
Last synced: about 1 month ago
Total Commits: 190
Total Committers: 2
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 95.0
Development Distribution Score (DDS): 0.153
Total Committers: 2
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 95.0
Development Distribution Score (DDS): 0.153
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/deividrvale/crit
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/deividrvale%2Fcrit
| Name | Commits | |
|---|---|---|
| WBrozius | w****s@v****l | 161 |
| jendrullis | j****s@v****l | 29 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.