A dependently-typed programming language for Minecraft
active 2023-08-17 → 2023-10-11 (UTC)
Partial coverage20,463 / 26,220 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-16 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
45
Pushes
9
Pull requests
13
Issues
0
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 56 days from 2023-08-17 to 2023-10-11. Pushes: 9 total, peak 3 in a day. Pull requests: 13 total, peak 6 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| intsuc | 13 | 4 | 5 | 0 |
| dependabot[bot] | 10 | 2 | 8 | 0 |
| github-merge-queue[bot] | 3 | 3 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#497dependabot[bot]2023-10-11 08:55
- Pull request#496dependabot[bot]2023-10-06 08:34
- Pull request#494intsuc2023-08-29 09:09
- Pull request#494dependabot[bot]2023-08-29 08:33
- Pull request#493intsuc2023-08-24 01:41
- Pull request#491intsuc2023-08-24 01:30
- Pull request#492intsuc2023-08-24 01:30
- Pull request#493dependabot[bot]2023-08-24 00:20
- Pull request#492dependabot[bot]2023-08-24 00:19
- Pull request#491dependabot[bot]2023-08-24 00:18
- Pull request#489intsuc2023-08-22 18:11
- Pull request#490dependabot[bot]2023-08-22 18:10
- Pull request#489dependabot[bot]2023-08-22 18:10
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.