Synthetix Solidity smart contracts
Hardhat is a development environment to compile, deploy, test
Superfluid protocol specification, implementations and development kit
The Smart Contract Programming Language
A Python-based development and testing framework for smart contracts
Solidity plugin for IntelliJ
Static Analyzer for Solidity
A toolbox for zkSNARKs on Ethereum
Browser-based compiler and IDE
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