anvil is a local Ethereum node, designed for development with Forge, akin to Ganache.
Built by Foundry, with Axum - the next-generation library for building web applications in Rust, this modular local node for EVM set out to change smart contract development experiences. Developers can create smart contracts for any EVM-compatible blockchain and enjoy arguably the fastest benchmarked deployment and performance speeds.
ERCx applies formal methods to improve the safety, reliability, and correctness of computing systems.
A CLI toolkit that supports Foundry and Brownie projects.
A Python-built tool suite for testing Ethereum smart contracts.
Harbor is building production-ready staging environments and infrastructure for Web3 startups.
Robot Framework Solidity Testing Toolkit combines smart contract testing and deployment libraries.
This is solc-verify, an auto-verifier compiler for Solidity.