prakol16
View on GitHub ↗active 2023-08-15 → 2025-02-02 (UTC) · 14 repositories
Complete coverage28,477 / 28,477 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-13 (UTC)
Events
283
Pushes
204
Pull requests
22
Issues
9
Reviews
1
Repositories
14
Activity over time
Daily event counts in the loaded window
Line chart, 538 days from 2023-08-15 to 2025-02-02. Pushes: 204 total, peak 16 in a day. Pull requests: 22 total, peak 5 in a day. Issues: 9 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 |
|---|---|---|---|---|---|---|
| prakol16/cedar | 132 | 128 | 4 | 0 | 0 | 2023-09-22 |
| prakol16/etch_in_rust | 38 | 38 | 0 | 0 | 0 | 2025-02-02 |
| kovach/etch | 35 | 22 | 13 | 0 | 0 | 2024-04-26 |
| SeaQL/sea-query | 9 | 0 | 0 | 4 | 5 | 2023-09-08 |
| prakol16/cedar-spec | 9 | 9 | 0 | 0 | 0 | 2023-09-18 |
| cedar-policy/cedar | 9 | 0 | 2 | 4 | 3 | 2023-09-22 |
| prakol16/sea-query | 6 | 4 | 2 | 0 | 0 | 2023-09-11 |
| leanprover-community/mathlib4 | 3 | 2 | 1 | 0 | 0 | 2023-08-20 |
| cedar-policy/rfcs | 3 | 0 | 0 | 0 | 2 | 2023-09-18 |
| prakol16/rdp-expansion-only | 3 | 1 | 0 | 1 | 1 | 2023-09-09 |
| CS144/minnow | 1 | 0 | 0 | 0 | 1 | 2024-03-15 |
| prakol16/cedar-examples | 0 | 0 | 0 | 0 | 0 | 2023-09-22 |
| cedar-policy/cedar-spec | 0 | 0 | 0 | 0 | 0 | 2023-09-01 |
| prakol16/lean_complexity_theory_polytime_trees | 0 | 0 | 0 | 0 | 0 | 2024-01-09 |
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 |
|---|---|---|
| B-Lorentz | 2 | |
| D-McAdams | 2 | |
| Swolebrain | 2 | |
| aaronjeline | 2 | |
| adpaco-aws | 2 | |
| alanwang67 | 2 | |
| andrewmwells-amazon | 2 | |
| anwarmamat | 2 | |
| blubben | 2 | |
| cdisselkoen | 2 | |
| chaluli | 2 | |
| chrnorm | 2 | |
| cplee | 2 | |
| emina | 2 | |
| hakanson | 2 | |
| john-h-kastner-aws | 2 | |
| jszmajda | 2 | |
| khieta | 2 | |
| kmill | 2 | |
| lianah | 2 | |
| luxas | 2 | |
| max2me | 2 | |
| micahhausler | 2 | |
| mwhicks1 | 2 | |
| nakedible-p | 2 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.