mkarup
View on GitHub ↗active 2024-01-23 → 2025-02-03 (UTC) · 15 repositories
Complete coverage26,404 / 26,404 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-19 (UTC)
Events
261
Pushes
156
Pull requests
26
Issues
15
Reviews
6
Repositories
15
Activity over time
Daily event counts in the loaded window
Line chart, 378 days from 2024-01-23 to 2025-02-03. Pushes: 156 total, peak 6 in a day. Pull requests: 26 total, peak 3 in a day. Issues: 15 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 |
|---|---|---|---|---|---|---|
| womeier/certicoqwasm | 139 | 101 | 25 | 0 | 7 | 2024-10-30 |
| womeier/certicoqwasm-testing | 37 | 36 | 1 | 0 | 0 | 2024-09-26 |
| mkarup/Troupe | 19 | 19 | 0 | 0 | 0 | 2024-12-17 |
| emscripten-core/emscripten | 6 | 0 | 0 | 3 | 3 | 2024-05-19 |
| CertiCoq/certicoq | 4 | 0 | 0 | 1 | 3 | 2024-07-25 |
| TroupeLang/Troupe | 3 | 0 | 0 | 3 | 0 | 2025-02-03 |
| stedolan/malfunction | 3 | 0 | 0 | 1 | 2 | 2024-07-12 |
| MetaCoq/metacoq | 2 | 0 | 0 | 1 | 1 | 2024-04-15 |
| WasmCert/WasmCert-Coq | 2 | 0 | 0 | 1 | 1 | 2024-08-05 |
| yforster/coq-verified-extraction | 2 | 0 | 0 | 1 | 1 | 2024-06-21 |
| coq/coq | 1 | 0 | 0 | 1 | 0 | 2024-07-19 |
| amake/orgro | 1 | 0 | 0 | 0 | 1 | 2024-01-23 |
| WebAssembly/binaryen | 1 | 0 | 0 | 1 | 0 | 2024-03-29 |
| OCamlPro/wasocaml | 1 | 0 | 0 | 1 | 0 | 2024-07-22 |
| sulami/literate-calc-mode.el | 1 | 0 | 0 | 1 | 0 | 2024-05-13 |
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 |
|---|---|---|
| womeier | 7 | |
| mattam82 | 5 | |
| yforster | 5 | |
| JasonGross | 4 | |
| spitters | 4 | |
| SkySkimmer | 3 | |
| liyishuai | 3 | |
| ppedrot | 3 | |
| raoxiaojia | 3 | |
| stedolan | 3 | |
| zapashcanon | 3 | |
| 4ever2 | 2 | |
| CharlesCNorton | 2 | |
| Copilot | 2 | |
| CountBleck | 2 | |
| Ddystopia | 2 | |
| GulgDev | 2 | |
| Janno | 2 | |
| Lysxia | 2 | |
| MSoegtropIMC | 2 | |
| MathisBD | 2 | |
| MaxGraey | 2 | |
| MevenBertrand | 2 | |
| Mintyboi | 2 | |
| OlivierNicole | 2 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.