Hardhat is a development environment to compile, deploy, test
The Smart Contract Programming Language
Qtum Core Wallet
Ethereum smart contract fuzzer
Compiler and IDE that enables users to build Ethereum contracts
A Python-based development and testing framework for smart contracts
Synthetix Solidity smart contracts
A toolbox for zkSNARKs on Ethereum
A tool for developing smart contracts. Crafted with the finest cacaos.
Browser-based compiler and IDE
Home of Retriev protocol (by CryptoNet + YOMI)
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