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
The Plutus language implementation and tools
Ethereum .Net cross platform integration library
Security analysis tool for EVM bytecode. Supports smart contracts
Blockchain explorer for Ethereum based network
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
Framework for serverless Decentralized Applications using Ethereum
(Formerly Solium) Code quality & Security Linter for Solidity