Rankings
Badges
/
mgsium
Rankings
Badges
Overview
Ranks
Repositories
Languages
Musab Guma'a
@mgsium
Refresh
Open GitHub
🇬🇧 Derby, England
Profile age: almost 7 years
Updated 14 days ago
26 followers • 29 following
Contacts
musabgumaa@gmail.com
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 5
Persona
Contributor
#759,496
#838,599
#551,426
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
102_comb_lean
9
3
updated over 1 year ago • age about 2 years
Lean
100.0%
viper-rs
2
0
1
updated about 3 years ago • age over 5 years
Rust
100.0%
serenity
1
0
updated over 4 years ago • age over 4 years
TypeScript
89.2%
JavaScript
6.7%
HTML
4.1%
SolFrontend
1
0
updated almost 5 years ago • age almost 5 years
TypeScript
97.9%
JavaScript
1.2%
HTML
0.9%
vscode-codeql
1
0
updated almost 4 years ago • age about 4 years
TypeScript
98.7%
CSS
0.8%
JavaScript
0.3%
CodeQL
0.2%
View all 12 repositories
Last Contributions
2022
cabal
1 PR
+71
-111
Haskell
1,696
723
15
OP2-Common
1 PR
+1,512
-1,290
Python
105
51
wordle_solver
1 PR
+23
-30
Python
30
13
MG-CFD-app-OP2
1 PR
+54
-7
C++
6
7
1
namespace
1 PR
+269
-351
TypeScript
0
0
View all contributions
Latest Updates
25 Aug 2025
Followers Count:
25
26
17 Jan 2025
First seen
Subscribe to mgsium's GitHub rank updates in your messenger
WhatsApp
Telegram
