Rankings
Badges
/
rahulc29
Rankings
Badges
Overview
Ranks
Repositories
Languages
Rahul Chhabra
@rahulc29
Refresh
Open GitHub
🇩🇰 Aarhus, Denmark
Aarhus Univeristy
Profile age: almost 9 years
Updated 10 days ago
42 followers • 114 following
Contacts
rahul@cs.au.dk
https://rahulc29.github.io/
@rahulc29@mathstodon.xyz
Organizations
Profile Overview
Global
Denmark
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Contributor
#589,067
#163,673
#332,168
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
realizability
19
1
1
updated about 1 year ago • age about 2 years
HTML
92.0%
Agda
8.0%
CSS
0.0%
Scheme
0.0%
k8
Archived
3
1
updated over 2 years ago • age over 7 years
Kotlin
68.2%
Assembly
31.8%
kaleido
2
0
updated almost 4 years ago • age about 4 years
C++
95.7%
CMake
4.3%
algoxy
0
0
updated over 3 years ago • age over 3 years
TeX
100.0%
eopl
0
0
updated over 2 years ago • age over 3 years
Scheme
100.0%
View all 8 repositories
Last Contributions
2024
cubical
1 PR
+72
-0
Agda
512
156
8
MGS-categorical-realizability
1 PR
+1
-1
TeX
22
5
2022
ITP-Assignment
1 PR
+106
-67
C
0
1
2021
Java
1 PR
+143
-0
Java
64,109
20,723
ktor
1 PR
+5
-0
Kotlin
14,052
1,195
91
View all contributions
Latest Updates
04 Nov 2025
Followers Count:
41
42
06 Oct 2025
Followers Count:
36
41
22 Sep 2025
Followers Count:
38
36
22 Aug 2025
Company:
Aarhus Univeristy
Email:
iit2021096@iiita.ac.in
rahul@cs.au.dk
Location:
Aarhus, Denmark
17 Jan 2025
First seen
Subscribe to rahulc29's GitHub rank updates in your messenger
WhatsApp
Telegram
