Synthetix Solidity smart contracts
Superfluid protocol specification, implementations and development kit
A Python-based development and testing framework for smart contracts
Solidity plugin for IntelliJ
Static Analyzer for Solidity
A toolbox for zkSNARKs on Ethereum
Visualize Solidity control flow for smart contract security analysis
A home for ethereum smart contracts
Dapp, Seth, Hevm, and more
One stop shop for Ethereum ABIs, addresses, and Solidity interfaces!
(Formerly Solium) Code quality & Security Linter for Solidity