JonMathProofs
View on GitHub ↗active 2025-01-21 → 2025-01-21 (UTC) · 3 repositories
Complete coverage26,427 / 26,427 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-20 (UTC)
Events
20
Pushes
13
Pull requests
4
Issues
0
Reviews
0
Repositories
3
Activity over time
Daily event counts in the loaded window
Line chart, 1 days from 2025-01-21 to 2025-01-21. Pushes: 13 total, peak 13 in a day. Pull requests: 4 total, peak 4 in a day. Issues: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
Repositories worked on
Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| JonMathProofs/mat-211-foundations-of-proof-spring-2025-classroom-8d1f82-lean1-homework-MAT211-Lean-HW-1 | 11 | 11 | 0 | 0 | 0 | 2025-01-21 |
| Foundations-of-Proof-Spring-2025/mat-211-foundations-of-proof-spring-2025-classroom-8d1f82-lean1-homework-MAT211-Lean-HW-1 | 4 | 0 | 3 | 0 | 1 | 2025-01-21 |
| Foundations-of-Proof-Spring-2025/lean1-homework-JonMathProofs | 3 | 2 | 1 | 0 | 0 | 2025-01-21 |
Works with
People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.