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