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 8 days ago
59 followers • 5 following
Contacts
joe.d.hendrix@gmail.com
https://joehendrix.github.io/
Organizations
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%
lean-cheatsheets
1
1
updated about 2 years ago • age about 2 years
lean_std4
0
0
updated over 1 year ago • age about 3 years
Lean
99.9%
Shell
0.1%
pyre-check
0
0
updated almost 4 years ago • age almost 4 years
OCaml
79.4%
Python
19.1%
C
1.2%
Standard ML
0.3%
TypeScript
0.0%
IHaskell
0
1
updated about 8 years ago • age over 9 years
Haskell
85.9%
Jupyter Notebook
13.8%
Shell
0.2%
JavaScript
0.1%
Python
0.1%
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
2022
filia
2 PRs
+1,389
-1,161
C++
17
1
2021
lean4
2 PRs
+5
-6
Lean
6,572
677
92
reopt
2 PRs
+11
-19
LLVM
328
29
2
macaw
~10 PRs
+1,512
-1,207
Haskell
230
23
parameterized-utils
1 PR
+83
-3
Haskell
60
13
Show more
