Hardhat is a development environment to compile, deploy, test
The Smart Contract Programming Language
Compiler and IDE that enables users to build Ethereum contracts
Ethereum smart contract fuzzer
OpenZeppelin Contracts is a library for secure smart contracts
Ethereum .Net cross platform integration library
Security analysis tool for EVM bytecode. Supports smart contracts
A toolbox for zkSNARKs on Ethereum
TypeScript bindings for Ethereum smart contracts
Visualize Solidity control flow for smart contract security analysis
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