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