Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
Code coverage statistics for rafoo@meta_theory Jan 11 - Apr 11Download raw data (.csv)
Commit statistics for rafoo@meta_theory May 03 - Mar 31Excluding merge commits. Limited to 2,000 commits.
- Total: 117 commits
- Average per day: 0.4 commits
- Authors: 6
Commits per day of month
Commits per weekday
Commits per day hour (UTC)