A Python-based development and testing framework for smart contracts
Pythonic Smart Contract Language for the EVM
A free (libre) open source, mobile OS for Ethereum
Security analysis tool for EVM bytecode. Supports smart contracts
A home for ethereum smart contracts
Symbolic execution tool
Raiden Network