prosecco
View on GitHub ↗active 2023-08-20 → 2024-12-26 (UTC) · 3 repositories
Complete coverage27,349 / 27,349 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-27 (UTC)
Events
7
Pushes
0
Pull requests
0
Issues
0
Reviews
3
Repositories
3
Activity over time
Daily event counts in the loaded window
Line chart, 495 days from 2023-08-20 to 2024-12-26. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 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 |
|---|---|---|---|---|---|---|
| cryspen/libcrux | 3 | 0 | 0 | 0 | 1 | 2024-05-17 |
| hacl-star/hacl-star | 2 | 0 | 0 | 0 | 1 | 2023-10-18 |
| FStarLang/karamel | 2 | 0 | 0 | 0 | 2 | 2024-12-26 |
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 |
|---|---|---|
| Nadrieril | 3 | |
| R1kM | 3 | |
| W95Psp | 3 | |
| franziskuskiefer | 3 | |
| karthikbhargavan | 3 | |
| msprotz | 3 | |
| pnmadelaine | 3 | |
| protz | 3 | |
| Parrot7483 | 2 | |
| aeiouaeiouaeiouaeiouaeiouaeiou | 2 | |
| gebner | 2 | |
| jschneider-bensch | 2 | |
| karthik-cryspen | 2 | |
| mamonet | 2 | |
| mtzguido | 2 | |
| nikswamy | 2 | |
| spitters | 2 | |
| tahina-pro | 2 | |
| vladak | 2 | |
| AaronKutch | 1 | |
| AtomicGamer9523 | 1 | |
| Chris-Hawblitzel | 1 | |
| FiloSottile | 1 | |
| GuuJiang | 1 | |
| Julien00859 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.