๐จโ๐ป I'm a Staff Compiler Engineer. I have contributed to LLVM and Clang.
๐จโ๐ซ I used to be a programming languages researcher. I worked on Checked C and Idris, as well as other projects and publications.
๐ค Where to start? Try My Big List of ABI Resources or the repos listed below.