Rankings
Badges
/
joehendrix
Rankings
Badges
Overview
Ranks
Repositories
Languages
Joe Hendrix
@joehendrix
Refresh
Open GitHub
🇺🇸 Portland, OR
Applied Scientist at Amazon
Profile age: over 14 years
Updated 7 days ago
59 followers • 5 following
Contacts
joe.d.hendrix@gmail.com
https://joehendrix.github.io/
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Influencer
#303,603
#657,904
#222,208
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
lean-crypto
45
3
updated about 1 year ago • age almost 4 years
Roff
45.7%
C
43.5%
Assembly
9.6%
Lean
1.2%
C++
0.1%
lean-sat-checker
12
0
updated about 2 years ago • age over 4 years
Lean
100.0%
lean-libuv
6
2
updated over 1 year ago • age about 2 years
Lean
88.9%
C
8.7%
Dockerfile
1.2%
Shell
1.2%
lean-arith-solver
4
0
updated over 3 years ago • age almost 4 years
Lean
100.0%
cargo
1
0
updated over 4 years ago • age over 4 years
Rust
94.4%
Roff
5.1%
JavaScript
0.3%
Shell
0.2%
Python
0.0%
View all 9 repositories
Last Contributions
2025
Strata
1 PR
+85
-50
Lean
101
17
2024
lean4
~48 PRs
+75
-13
Lean
6,572
677
92
batteries
~17 PRs
+101
-70
Lean
333
126
29
2023
batteries
2 PRs
+1,246
-8
Lean
333
126
29
doc-gen4
1 PR
+134
-63
Lean
109
55
View all contributions
Latest Updates
19 Sep 2025
Followers Count:
58
59
04 Sep 2025
Followers Count:
59
58
21 Aug 2025
Followers Count:
58
59
07 Aug 2025
Company:
Principal Research Software Engineer at Lean FRO
Applied Scientist at Amazon
Followers Count:
57
58
24 Jul 2025
Followers Count:
58
57
06 Jan 2025
First seen
Subscribe to joehendrix's GitHub rank updates in your messenger
WhatsApp
Telegram
