This is your work, valued
Making tools for Solidity (Scribble, Maru, etc...). Interested in languages, security and verification.
evm2llvm. Small evm -> llvm translator using evmjit