The Smart Contract Programming Language
Hardhat is a development environment to compile, deploy, test
Qtum Core Wallet
Ethereum smart contract fuzzer
Superfluid protocol specification, implementations and development kit
Synthetix Solidity smart contracts
A Python-based development and testing framework for smart contracts
Compiler and IDE that enables users to build Ethereum contracts
Static Analyzer for Solidity
A tool for developing smart contracts. Crafted with the finest cacaos.
Browser-based compiler and IDE
A home for ethereum smart contracts
Raiden Network
Dapp, Seth, Hevm, and more
A permissioned Ethereum smart-contract blockchain node