Projects These are some of the things I'm most proud of working or having worked on. In reverse chronological order: Mach-O support for LLD, The LLVM Linker. Redex, the Android bytecode optimizer, and SPARTA, the abstract interpretation framework that powers it. Hack: A typed language descended from PHP. Doppio: A JVM in TypeScript. Vimium: For keyboard-powered browsing in Chrome.