Wake
Framework for developing and testing Solidity smart contracts with pytypes, Python-native counterparts of Solidity types, and rapid execution speed. The Ackee Blockchain team utilizes Wake for conducting smart contract audits, which has helped identify numerous high and critical vulnerabilities.
