HTTP Primitives for Lean4
active 2023-12-13 → 2024-07-15 (UTC)
Complete coverage26,562 / 26,562 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-25 (UTC)
Events
81
Pushes
34
Pull requests
4
Issues
3
Stars
15
Forks
3
Activity over time
Daily event counts in the loaded window
Line chart, 216 days from 2023-12-13 to 2024-07-15. Pushes: 34 total, peak 10 in a day. Pull requests: 4 total, peak 1 in a day. Issues: 3 total, peak 2 in a day. Comments: 10 total, peak 4 in a day. Stars: 15 total, peak 2 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 |
|---|---|---|---|---|
| algebraic-sofia | 33 | 24 | 1 | 5 |
| chuwy | 16 | 10 | 1 | 2 |
| samueldurantes | 6 | 0 | 0 | 3 |
| sullyj3 | 2 | 0 | 2 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#4algebraic-sofia2024-05-13 16:57
- Issue comment#4samueldurantes2024-05-13 16:20First test cases
- Pull request#5sullyj32024-05-07 02:31
- Pull request#5sullyj32024-03-31 04:16
- Issue comment#2algebraic-sofia2023-12-20 22:20Add Resource type
- Issue comment#2algebraic-sofia2023-12-18 14:49Add Resource type
- Issue comment#1algebraic-sofia2023-12-18 14:47Add a type for case-insensitive strings
- Issue#1algebraic-sofia2023-12-18 14:47Add a type for case-insensitive strings
- Issue comment#4algebraic-sofia2023-12-15 14:04First test cases
- Pull request#4chuwy2023-12-15 14:00
- Issue comment#3chuwy2023-12-15 12:45Switch Request.body to a Stream-like type
- Issue#2chuwy2023-12-15 12:37Add Resource type
- Issue#1chuwy2023-12-15 11:48Add a type for case-insensitive strings
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 15 stars here means stars gained during the window, not the repo's star count.