active 2023-09-13 → 2024-01-06 (UTC)
Partial coverage20,512 / 26,268 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
15
Pushes
4
Pull requests
1
Issues
7
Stars
1
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 116 days from 2023-09-13 to 2024-01-06. Pushes: 4 total, peak 1 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 7 total, peak 3 in a day. Comments: 2 total, peak 1 in a day. Stars: 1 total, peak 1 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 |
|---|---|---|---|---|
| axelf4 | 13 | 4 | 1 | 1 |
| andreasabel | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue#32axelf42023-10-08 11:56THESIS FEEDBACK
- Issue#11axelf42023-10-03 11:55Use a dedicated record for semantics of function types
- Issue#6axelf42023-10-01 20:09Reduce rhs in from-\subseteq
- Issue#1axelf42023-10-01 20:09Import from Data.Product
- Issue comment#13axelf42023-09-26 20:21Agda CI + HTML deployment
- Pull request#13axelf42023-09-26 20:09
- Issue comment#13andreasabel2023-09-14 17:14Agda CI + HTML deployment
- Issue#31axelf42023-09-13 08:23Evaluation of substitution: notation unclear
- Issue#4axelf42023-09-13 08:23Motivate the name `LFExt` with comment
- Issue#2axelf42023-09-13 08:23Maybe depend on a specific version of the standard library
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.