Hardhat is a development environment to compile, deploy, test
OpenZeppelin Contracts is a library for secure smart contracts
Ethereum smart contract fuzzer
Ethereum .Net cross platform integration library
The Plutus language implementation and tools
The Smart Contract Programming Language
Compiler and IDE that enables users to build Ethereum contracts
A fast and lightweight framework for creating decentralized agents
Scalable blockchain for the people, smart contracts, state channels
Pythonic Smart Contract Language for the EVM
Security analysis tool for EVM bytecode. Supports smart contracts
A toolbox for zkSNARKs on Ethereum
TypeScript bindings for Ethereum smart contracts
A tool for developing smart contracts. Crafted with the finest cacaos.
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