Name: Joe Hendrix
Type: User
Company: Principal Research Software Engineer at Lean FRO
Bio: I'm interested in program analysis, software assurance, and generally making software developers more productive.
Location: Portland, OR
ascl-parser
cargo
The Rust package manager
doc-gen4
Document Generator for Lean 4
dwarf
Haskell library for parsing DWARF object format
elf-edit
The elf-edit library provides a datatype suitable for reading and writing Elf files.
flexdis86
A library for disassembling x86-64 binaries.
ihaskell
A Haskell kernel for IPython.
joehendrix.github.io
Personal webpage
lean-aes
Experiements in coding up AES elegantly in Lean
lean-arith-solver
lean-benchmark-experiments
lean-cheatsheets
lean-containers
lean-crypto
Cryptographic routines for the Lean 4 language
lean-libuv
Bindings to LibUV in Lean
lean-sat-checker
A work in progress proof checker for LRAT files written in Lean.
lean4
Lean4 work in progress repo
lean_std4
Standard Library for Lean 4
macaw
Open source binary analysis tools.
macho
Haskell library for parsing Mach-O object format
mathlib
Lean mathematical components library
mathlib4
The math library of Lean 4
parsing-verification
pawsapalooza
pyre-check
Performant type-checking for python.
reopt
A tool for analyzing x86-64 binaries.
rustlean
Repository for developing a Cargo build extension to support lean.
tc
Reference type checker for the Lean theorem prover
what4
Symbolic formula representation and solver interaction library
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
