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