Side-by-side comparison

Symbolic-execution security analyzer for EVM bytecode from Consensys; older but still used in audits.

Audited, standard implementations of ERC-20, ERC-721, access control, upgrades and governance.

Heavily gas-optimized Solidity snippets and contracts, widely used where every unit of gas counts.

Minimalist, gas-efficient contract building blocks; now rarely updated and largely superseded by Solady.