Hardhat is a development environment to compile, deploy, test
The Smart Contract Programming Language
OpenZeppelin Contracts is a library for secure smart contracts
Ethereum smart contract fuzzer
Ethereum .Net cross platform integration library
Compiler and IDE that enables users to build Ethereum contracts
Pythonic Smart Contract Language for the EVM
Security analysis tool for EVM bytecode. Supports smart contracts
Scalable blockchain for the people, smart contracts, state channels
A toolbox for zkSNARKs on Ethereum
TypeScript bindings for Ethereum smart contracts
Visualize Solidity control flow for smart contract security analysis
All-inclusive smart contract development and testing tool
A home for ethereum smart contracts
Dapp, Seth, Hevm, and more
A permissioned Ethereum smart-contract blockchain node
Censorship resistant democracies
0x protocol monorepo - includes our smart contracts
(Formerly Solium) Code quality & Security Linter for Solidity