GitHub repository: runtimeverification/solidity
Primary language: C++
Description: Fork of the Solidity Compiler for compiling Solidity to IELE