Rankings
Badges
/
philnguyen
Rankings
Badges
Overview
Ranks
Repositories
Languages
Phil Nguyen
@philnguyen
Refresh
Open GitHub
🇺🇸 Seattle, WA
Profile age: about 16 years
Updated 12 days ago
44 followers • 15 following
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Contributor
#270,522
#16,437
#309,936
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
soft-contract
35
10
updated over 4 years ago • age over 11 years
Racket
98.7%
Lean
1.3%
Makefile
0.0%
z3-rkt
24
5
updated over 6 years ago • age over 9 years
Racket
100.0%
json-type-provider
16
0
updated over 4 years ago • age about 6 years
Racket
100.0%
set-extras
6
2
updated over 3 years ago • age over 8 years
Racket
100.0%
termination
1
1
updated over 6 years ago • age over 7 years
Racket
95.7%
Isabelle
1.6%
Haskell
1.3%
Common Lisp
0.9%
Makefile
0.4%
View all 7 repositories
Last Contributions
2025
reference-manual
1 PR
+1
-1
Lean
82
40
13
2023
benchmarks
2 PRs
+103
-4
Makefile
2,876
261
rhombus
1 PR
+1
-1
Racket
489
73
2022
semantic
1 PR
+1
-1
Haskell
9,061
458
9
benchmarks
3 PRs
+145
-43
Makefile
2,876
261
View all contributions
Latest Updates
09 Oct 2025
Followers Count:
43
44
29 Jul 2025
Followers Count:
44
43
15 Jul 2025
Followers Count:
43
44
07 Jan 2025
First seen
Subscribe to philnguyen's GitHub rank updates in your messenger
WhatsApp
Telegram
