louiseddp
View on GitHub ↗active 2023-08-16 → 2024-08-26 (UTC) · 17 repositories
Complete coverage26,434 / 26,434 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-20 (UTC)
Events
511
Pushes
416
Pull requests
12
Issues
1
Reviews
1
Repositories
17
Activity over time
Daily event counts in the loaded window
Line chart, 377 days from 2023-08-16 to 2024-08-26. Pushes: 416 total, peak 16 in a day. Pull requests: 12 total, peak 5 in a day. Issues: 1 total, peak 1 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 |
|---|---|---|---|---|---|---|
| louiseddp/sniper | 214 | 214 | 0 | 0 | 0 | 2024-08-26 |
| smtcoq/sniper | 86 | 82 | 2 | 0 | 2 | 2024-08-01 |
| louiseddp/Ltac2-triggers | 62 | 62 | 0 | 0 | 0 | 2024-01-04 |
| smtcoq/smtcoq | 15 | 11 | 3 | 1 | 0 | 2024-06-11 |
| louiseddp/coq | 14 | 14 | 0 | 0 | 0 | 2024-02-27 |
| coq/coq | 9 | 0 | 1 | 0 | 7 | 2024-08-26 |
| ecranceMERCE/trakt | 8 | 4 | 4 | 0 | 0 | 2024-02-15 |
| louiseddp/metaprogramming-rosetta-stone | 8 | 8 | 0 | 0 | 0 | 2024-02-07 |
| louiseddp/louiseddp.github.io | 8 | 8 | 0 | 0 | 0 | 2024-07-01 |
| louiseddp/smtcoq | 4 | 4 | 0 | 0 | 0 | 2024-01-27 |
| louiseddp/MinITP | 4 | 3 | 1 | 0 | 0 | 2024-02-06 |
| smtcoq/smtcoq.github.io | 3 | 3 | 0 | 0 | 0 | 2024-07-25 |
| louiseddp/trakt | 2 | 2 | 0 | 0 | 0 | 2023-12-07 |
| coq-community/metaprogramming-rosetta-stone | 2 | 0 | 1 | 0 | 1 | 2023-12-05 |
| LPCIC/coq-elpi | 1 | 0 | 0 | 0 | 1 | 2024-02-20 |
| louiseddp/coqhammer | 1 | 1 | 0 | 0 | 0 | 2024-04-10 |
| lukaszcz/coqhammer | 0 | 0 | 0 | 0 | 0 | 2024-04-08 |
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 |
|---|---|---|
| ckeller | 6 | |
| SkySkimmer | 4 | |
| gares | 4 | |
| tomaz1502 | 4 | |
| ErrWare | 3 | |
| Villetaneuse | 3 | |
| ejgallego | 3 | |
| herbelin | 3 | |
| patrick-nicodemus | 3 | |
| ppedrot | 3 | |
| proux01 | 3 | |
| spitters | 3 | |
| CohenCyril | 2 | |
| FissoreD | 2 | |
| Janno | 2 | |
| MSoegtropIMC | 2 | |
| SnarkBoojum | 2 | |
| Tragicus | 2 | |
| aleksnanevski | 2 | |
| andres-erbsen | 2 | |
| eponier | 2 | |
| erikmd | 2 | |
| hivert | 2 | |
| lafeychine | 2 | |
| lweqx | 2 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.