Rankings
Badges
/
arsalan0c
Rankings
Badges
Overview
Ranks
Repositories
Languages
Arsalan Cheema
@arsalan0c
Refresh
Open GitHub
πΈπ¬ Singapore
Profile age: over 9 years
Updated 10 days ago
40 followers β’ 314 following
Contacts
arsalan0c@gmail.com
Organizations
Profile Overview
Global
Singapore
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 4
Persona
Influencer
#402,855
#574,514
#343,972
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
dafny-of-python
23
1
updated about 4 years ago β’ age about 5 years
OCaml
88.1%
Dafny
9.4%
Standard ML
2.6%
cdp-hs
10
4
1
updated almost 2 years ago β’ age over 3 years
Haskell
99.6%
Nix
0.4%
kanren
4
0
updated about 4 years ago β’ age almost 5 years
OCaml
100.0%
pflp-ml
3
0
updated about 4 years ago β’ age over 4 years
OCaml
100.0%
mailsense
2
0
updated about 6 years ago β’ age over 6 years
Python
98.4%
Shell
1.6%
View all 18 repositories
Last Contributions
2021
lets-prove-leftpad
1 PR
+51
-0
SystemVerilog
694
64
pySBOL3
1 PR
+16
-0
Python
40
17
26
cs3203-clion-remote-fedora
1 PR
+2
-2
0
2
mazerunner
3 PRs
+444
-43
C++
0
0
2020
frontend
2 PRs
+5
-3
TypeScript
105
174
32
View all contributions
Latest Updates
08 Sep 2025
Followers Count:
38
40
08 Jan 2025
First seen
Subscribe to arsalan0c's GitHub rank updates in your messenger
WhatsApp
Telegram