Ethereum smart contract fuzzer
A Python-based development and testing framework for smart contracts
Synthetix Solidity smart contracts
A toolbox for zkSNARKs on Ethereum
Visualize Solidity control flow for smart contract security analysis
A home for ethereum smart contracts
Raiden Network
Dapp, Seth, Hevm, and more
A permissioned Ethereum smart-contract blockchain node
(Formerly Solium) Code quality & Security Linter for Solidity