Joe Hendrix

icon indicating a website link https://joehendrix.github.io/ icon indicating an email [email protected]

icon company Applied Scientist at Amazon icon location Portland, OR icon location I'm interested in program analysis, software assurance, and generally making software developers more productive.

Results 1 repositories owned by Joe Hendrix
trafficstars

lean-crypto

47
Stars
3
Forks
47
Watchers

Cryptographic routines for the Lean 4 language

verified publisher icon joehendrix