GitHub repository: meterio/sourcify
Primary language: TypeScript
Description: Solidity re-compiler that can be used to verify that bytecode corresponds to certain source code