Lecture notes for POPL Monsoon 2023 @ IIITH
active 2023-08-21 → 2023-10-07 (UTC)
Complete coverage26,601 / 26,601 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-27 (UTC)
Events
58
Pushes
15
Pull requests
21
Issues
0
Stars
0
Forks
12
Activity over time
Daily event counts in the loaded window
Line chart, 48 days from 2023-08-21 to 2023-10-07. Pushes: 15 total, peak 6 in a day. Pull requests: 21 total, peak 5 in a day. Issues: 0 total, peak 0 in a day. Comments: 3 total, peak 3 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| Groverkss | 27 | 15 | 8 | 3 |
| kritgpt | 3 | 0 | 3 | 0 |
| ed-mayank | 3 | 0 | 3 | 0 |
| herocharge | 2 | 0 | 2 | 0 |
| loopyhole | 1 | 0 | 1 | 0 |
| pm-pratyush | 1 | 0 | 1 | 0 |
| Pranav607 | 1 | 0 | 1 | 0 |
| Dheeraja7252 | 1 | 0 | 1 | 0 |
| shivensinha4 | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#13pm-pratyush2023-10-07 15:41
- Pull request#12loopyhole2023-10-05 21:09
- Pull request#11herocharge2023-09-26 05:01
- Issue comment#7Groverkss2023-09-17 13:18Lecture Notes 12th september
- Pull request#8Groverkss2023-09-17 13:13
- Pull request#10Groverkss2023-09-17 13:00
- Pull request#10Groverkss2023-09-17 13:00
- Issue comment#8Groverkss2023-09-17 12:58Add Lecture 9 notes
- Issue comment#8Groverkss2023-09-17 12:56Add Lecture 9 notes
- Pull request#9Groverkss2023-09-17 12:51
- Pull request#9herocharge2023-09-15 21:07
- Pull request#8Pranav6072023-09-15 20:04
- Pull request#7ed-mayank2023-09-15 08:19
- Pull request#6ed-mayank2023-09-15 07:48
- Pull request#6ed-mayank2023-09-15 07:46
- Pull request#4Groverkss2023-09-08 09:34
- Pull request#5Groverkss2023-09-08 09:33
- Pull request#5kritgpt2023-08-28 09:45
- Pull request#4shivensinha42023-08-27 08:59
- Pull request#3kritgpt2023-08-27 07:01
- Pull request#3kritgpt2023-08-27 07:00
- Pull request#1Groverkss2023-08-27 06:58
- Pull request#2Groverkss2023-08-27 06:41
- Pull request#2Dheeraja72522023-08-25 21:26
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.