GitHub repository: ravikantcool2008/source-verify
Description: Solidity re-compiler that can be used to verify that bytecode corresponds to certain source code