A Python-based development and testing framework for smart contracts
Woke is a Python-based development and testing framework for Solidity
Static Analyzer for Solidity
Arbitrage bot is a smart contract connected to an external script
A home for ethereum smart contracts
Raiden Network
(Formerly Solium) Code quality & Security Linter for Solidity