Security analysis tool for EVM bytecode. Supports smart contracts
A fast and lightweight framework for creating decentralized agents
Pythonic Smart Contract Language for the EVM
A Python-based development and testing framework for smart contracts
A coin that can be mined with almost everything
A home for ethereum smart contracts
Symbolic execution tool
Raiden Network
The Standard DAO Framework, including Whitepaper
An open source blockchain written from scratch in Python.