The Smart Contract Programming Language
Compiler and IDE that enables users to build Ethereum contracts
Pythonic Smart Contract Language for the EVM
A toolbox for zkSNARKs on Ethereum
Visualize Solidity control flow for smart contract security analysis
Censorship resistant democracies
0x protocol monorepo - includes our smart contracts
(Formerly Solium) Code quality & Security Linter for Solidity