The Smart Contract Programming Language
Static Analyzer for Solidity
Hardhat is a development environment to compile, deploy, test
Compiler and IDE that enables users to build Ethereum contracts
Solidity plugin for IntelliJ
Synthetix Solidity smart contracts
Ethereum smart contract fuzzer
A Python-based development and testing framework for smart contracts
Woke is a Python-based development and testing framework for Solidity
Visualize Solidity control flow for smart contract security analysis
Superfluid protocol specification, implementations and development kit
A toolbox for zkSNARKs on Ethereum
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
A decentralized e-commerce platform!