Pythonic Smart Contract Language for the EVM
TypeScript bindings for Ethereum smart contracts
Visualize Solidity control flow for smart contract security analysis
Framework for serverless Decentralized Applications using Ethereum
(Formerly Solium) Code quality & Security Linter for Solidity