Rankings
Badges
/
juda
Rankings
Badges
Overview
Ranks
Repositories
Languages
@juda
Refresh
Open GitHub
🇭🇰 Hong Kong
Profile age: almost 13 years
Updated 13 days ago
94 followers • 24 following
Contacts
judaplus@gmail.com
Organizations
Profile Overview
Global
Hong Kong
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#981,040
#624,912
#131,000
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
Recursive-Subtyping-for-All
9
1
updated over 1 year ago • age about 3 years
Coq
99.9%
Makefile
0.1%
Last Contributions
2022
tvm
2 PRs
+1,160
-284
Python
12,804
3,693
23
2020
hkuplg.github.io
3 PRs
+34
-29
HTML
8
6
2014
holdem
1 PR
+15
-9
C++
2
4
View all contributions
Latest Updates
05 Oct 2025
Followers Count:
93
94
06 Sep 2025
Followers Count:
91
93
22 Aug 2025
Followers Count:
90
91
10 Jan 2025
First seen
Subscribe to juda's GitHub rank updates in your messenger
WhatsApp
Telegram
