A Python-based development and testing framework for smart contracts
Static Analyzer for Solidity
Security analysis tool for EVM bytecode. Supports smart contracts
Python scripts for ETL (extract, transform and load) jobs for Ethereum
A home for ethereum smart contracts
Symbolic execution tool
Raiden Network