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