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
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%
nesys
0
1
updated almost 4 years ago • age almost 4 years
Rust
100.0%
randlite
0
0
updated almost 4 years ago • age almost 4 years
Rust
100.0%
life-wasm
0
0
updated almost 4 years ago • age almost 4 years
JavaScript
60.0%
Rust
35.9%
HTML
4.1%
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
Social-Network
1 PR
+130
-56
Kotlin
7
5
1
