Rankings
Badges
/
sankalpgambhir
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sankalp Gambhir
@sankalpgambhir
Refresh
Open GitHub
🇨🇭 Lausanne, Switzerland
@epfl-lara
Profile age: almost 11 years
Updated 5 days ago
3 followers • 1 following
Contacts
https://sankalp.gambhir.gg
Organizations
Profile Overview
Global
Switzerland
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Switzerland
Beginner 4
Persona
Contributor
N/A
#8,262
N/A
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
stainless
1
0
updated 8 months ago • age over 1 year
HTML
59.7%
Scala
39.0%
JavaScript
0.5%
CSS
0.5%
Coq
0.4%
diffgeo-project
1
0
updated about 4 years ago • age about 4 years
TeX
100.0%
trampoline-benchmarks
0
0
updated over 1 year ago • age over 1 year
Scala
56.9%
Python
21.6%
C++
15.9%
Shell
5.6%
quantlearn
0
0
updated over 3 years ago • age about 5 years
C++
100.0%
inox
0
0
updated 9 months ago • age over 1 year
Scala
100.0%
View all 10 repositories
Last Contributions
2025
stainless
~8 PRs
+727
-582
Scala
385
57
40
inox
~8 PRs
+112
-123
Scala
92
21
2
lisa
1 PR
+5
-6
Scala
62
22
2
smtlib-rs
1 PR
+153
-2
Rust
28
16
2
princess
2 PRs
+16
-1
Scala
26
9
6
View all contributions
Latest Updates
27 Sep 2025
Followers Count:
2
3
09 Jan 2025
First seen
Subscribe to sankalpgambhir's GitHub rank updates in your messenger
WhatsApp
Telegram
