nwetzler
View on GitHub ↗active 2023-08-31 → 2024-08-14 (UTC) · 10 repositories
Complete coverage26,457 / 26,457 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-21 (UTC)
Events
77
Pushes
33
Pull requests
8
Issues
0
Reviews
8
Repositories
10
Activity over time
Daily event counts in the loaded window
Line chart, 350 days from 2023-08-31 to 2024-08-14. Pushes: 33 total, peak 4 in a day. Pull requests: 8 total, peak 2 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 |
|---|---|---|---|---|---|---|
| leanprover/LNSym | 20 | 0 | 4 | 0 | 9 | 2024-08-09 |
| nwetzler/LNSym | 19 | 19 | 0 | 0 | 0 | 2024-08-14 |
| leanprover/leanbv | 6 | 1 | 2 | 0 | 2 | 2024-02-20 |
| nwetzler/aws-lc | 5 | 5 | 0 | 0 | 0 | 2023-09-14 |
| nwetzler/smt-lib-benchmark-submission | 5 | 5 | 0 | 0 | 0 | 2023-10-03 |
| SMT-LIB/benchmark-submission | 2 | 0 | 1 | 0 | 1 | 2024-03-01 |
| aws/aws-lc | 2 | 0 | 1 | 0 | 1 | 2023-09-15 |
| nwetzler/smt-lib-benchmark-submission-2024 | 2 | 2 | 0 | 0 | 0 | 2024-03-01 |
| nwetzler/leanbv | 1 | 1 | 0 | 0 | 0 | 2024-02-19 |
| SMT-LIB/benchmark-submission-2023 | 1 | 0 | 0 | 0 | 1 | 2024-02-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
| Contributor | Shared repos | Repositories in common |
|---|---|---|
| shigoel | 3 | |
| aqjune-aws | 2 | |
| hanno-becker | 2 | |
| nebeid | 2 | |
| pennyannn | 2 | |
| rod-chapman | 2 | |
| 0blu | 1 | |
| 5long | 1 | |
| AGSaidi | 1 | |
| AdnaneKhan | 1 | |
| Bazoka13 | 1 | |
| DarkaMaul | 1 | |
| DemiMarie | 1 | |
| DouglasLee001 | 1 | |
| Gbury | 1 | |
| HawaiianNinja | 1 | |
| Heizmann | 1 | |
| JohannesBauerMgm | 1 | |
| Kr328 | 1 | |
| LecrisUT | 1 | |
| Mark-Simulacrum | 1 | |
| MartinHusemann | 1 | |
| MichalHe | 1 | |
| MikolasJanota | 1 | |
| Neustradamus | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.