joehendrix

I'm interested in program analysis, software assurance, and generally making software developers more productive.

Principal Research Software Engineer at Lean FROPortland, OR

Pinned Repositories

ascl-parser
Language:Haskell1 3 00
cargo
The Rust package manager
Language:Rust1 2 00
lean-arith-solver
Language:Lean4 3 00
lean-benchmark-experiments
Language:Rust1 3 00
lean-cheatsheets
11
lean-containers
Language:Lean1 2 01
lean-crypto
Cryptographic routines for the Lean 4 language
Language:Roff42 6 13
lean-libuv
Bindings to LibUV in Lean
Language:Lean62
lean-sat-checker
A work in progress proof checker for LRAT files written in Lean.
Language:Lean11 3 00
rustlean
Repository for developing a Cargo build extension to support lean.
Language:Rust2 3 00

joehendrix's Repositories

joehendrix/lean-crypto
Cryptographic routines for the Lean 4 language
Language:Roff42 6 13
joehendrix/lean-sat-checker
A work in progress proof checker for LRAT files written in Lean.
Language:Lean11 3 00
joehendrix/lean-libuv
Bindings to LibUV in Lean
Language:Lean62
joehendrix/lean-arith-solver
Language:Lean4 3 00
joehendrix/rustlean
Repository for developing a Cargo build extension to support lean.
Language:Rust2 3 00
joehendrix/ascl-parser
Language:Haskell1 3 00
joehendrix/cargo
The Rust package manager
Language:Rust1 2 00
joehendrix/lean-benchmark-experiments
Language:Rust1 3 00
joehendrix/lean-cheatsheets
11
joehendrix/lean-containers
Language:Lean1 2 01
joehendrix/doc-gen4
Document Generator for Lean 4
Language:Lean1 0
joehendrix/dwarf
Haskell library for parsing DWARF object format
Language:Haskell2 0
joehendrix/elf-edit
The elf-edit library provides a datatype suitable for reading and writing Elf files.
Language:Haskell2 0
joehendrix/flexdis86
A library for disassembling x86-64 binaries.
joehendrix/IHaskell
A Haskell kernel for IPython.
Language:Haskell2 01
joehendrix/joehendrix.github.io
Personal webpage
Language:CSS
joehendrix/lean-aes
Experiements in coding up AES elegantly in Lean
Language:Lean2 0
joehendrix/lean4
Lean4 work in progress repo
Language:Lean
joehendrix/lean_std4
Standard Library for Lean 4
Language:Lean2 0
joehendrix/macaw
Open source binary analysis tools.
2
joehendrix/macho
Haskell library for parsing Mach-O object format
Language:Haskell
joehendrix/mathlib
Lean mathematical components library
Language:Lean2 0
joehendrix/mathlib4
The math library of Lean 4
Language:Lean1 0
joehendrix/parsing-verification
Language:Lean3 0
joehendrix/pawsapalooza
Language:HTML2 0
joehendrix/pyre-check
Performant type-checking for python.
Language:OCaml2 0
joehendrix/reopt
A tool for analyzing x86-64 binaries.
joehendrix/tc
Reference type checker for the Lean theorem prover
Language:Haskell2 0
joehendrix/what4
Symbolic formula representation and solver interaction library