Security analysis tool for EVM bytecode. Supports smart contracts
A Python-based development and testing framework for smart contracts
Awesome Django authorization, without the database
DefectDojo is a DevSecOps and vulnerability management tool
A framework for browser automation and testing with Selenium
Diango shadowsocks
A flexible and efficient library for deep learning
A home for ethereum smart contracts
Symbolic execution tool
Raiden Network