radumereuta
View on GitHub ↗active 2023-08-15 → 2025-01-16 (UTC) · 11 repositories
Complete coverage28,014 / 28,014 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-25 (UTC)
Events
407
Pushes
78
Pull requests
41
Issues
28
Reviews
95
Repositories
11
Activity over time
Daily event counts in the loaded window
Line chart, 521 days from 2023-08-15 to 2025-01-16. Pushes: 78 total, peak 9 in a day. Pull requests: 41 total, peak 4 in a day. Issues: 28 total, peak 3 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 |
|---|---|---|---|---|---|---|
| runtimeverification/k | 239 | 35 | 13 | 12 | 98 | 2023-12-18 |
| runtimeverification/ercx-vscode | 84 | 36 | 25 | 14 | 7 | 2023-12-20 |
| runtimeverification/evm-semantics | 16 | 5 | 1 | 0 | 7 | 2023-12-07 |
| runtimeverification/pyk | 9 | 0 | 0 | 0 | 6 | 2023-12-15 |
| runtimeverification/llvm-backend | 7 | 0 | 0 | 1 | 3 | 2023-10-04 |
| runtimeverification/kup | 4 | 1 | 1 | 0 | 0 | 2023-08-23 |
| runtimeverification/mir-semantics | 4 | 0 | 0 | 0 | 4 | 2023-09-19 |
| runtimeverification/k-editor-support | 2 | 1 | 1 | 0 | 0 | 2023-12-04 |
| kframework/homebrew-k | 1 | 0 | 0 | 0 | 0 | 2023-10-10 |
| google/google-java-format | 1 | 0 | 0 | 1 | 0 | 2023-12-12 |
| indy256/codelibrary | 0 | 0 | 0 | 0 | 0 | 2025-01-16 |
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 |
|---|---|---|
| Baltoli | 8 | |
| F-WRunTime | 7 | |
| rv-jenkins | 7 | |
| tothtamas28 | 7 | |
| ehildenb | 6 | |
| geo2a | 6 | |
| goodlyrottenapple | 6 | |
| jberthold | 6 | |
| RaoulSchaffranek | 5 | |
| Robertorosmaninho | 5 | |
| Scott-Guest | 5 | |
| anvacaru | 5 | |
| dkcumming | 5 | |
| dwightguth | 5 | |
| gtrepta | 5 | |
| juliankuners | 5 | |
| nwatson22 | 5 | |
| palinatolmach | 5 | |
| 0cjs | 4 | |
| ACassimiro | 4 | |
| PetarMax | 4 | |
| mariaKt | 4 | |
| virgil-serbanuta | 4 | |
| JuanCoRo | 3 | |
| Stevengre | 3 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.