Hardhat is a development environment to compile, deploy, test
OpenZeppelin Contracts is a library for secure smart contracts
Ethereum .Net cross platform integration library
Ethereum smart contract fuzzer
Security analysis tool for EVM bytecode. Supports smart contracts
The Plutus language implementation and tools
A fast and lightweight framework for creating decentralized agents
TypeScript bindings for Ethereum smart contracts
A tool for developing smart contracts. Crafted with the finest cacaos.
A home for ethereum smart contracts
Dapp, Seth, Hevm, and more
A permissioned Ethereum smart-contract blockchain node
(Formerly Solium) Code quality & Security Linter for Solidity