Similar repositories to a16z/halmos:

• a16z/halmos github similar
• paradigmxyz/reth github similar
• a16z/helios github similar
• coinspect/learn-evm-attacks github similar
• pcaversaccio/reentrancy-attacks github similar
• bluealloy/revm github similar
• danistefanovic/build-your-own-x github similar
• pentagonxyz/huffmate github similar
• devtooligan/awesome-huff github similar
• quilt/etk github similar
• huff-language/huff-rs github similar
• mds1/multicall github similar
• crisgarner/awesome-foundry github similar
• huff-language/foundry-huff github similar
• foundry-rs/forge-std github similar
• spearbit/portfolio github similar
• d-xo/weird-erc20 github similar
• fvictorio/evm-puzzles github similar
• huff-language/huffc github similar
• comitylabs/evm.codes github similar
• weiroll/weiroll github similar
• memester-xyz/surl github similar
• nascentxyz/simple-security-toolkit github similar
• ralexstokes/mev-rs github similar
• brockelmore/solvm github similar
• pcaversaccio/snekmate github similar
• nicolasgarcia214/damn-vulnerable-defi-foundry github similar
• foundry-rs/book github similar
• 0age/create2crunch github similar
• manifoldfinance/defi-threat github similar
• dmfxyz/murky github similar
• tintinweb/solidity-shell github similar
• refcell/subway-rs github similar
• brockelmore/memmove github similar
• banteg/storage-layout github similar
• d1ll0n/stack-packer github similar
• crytic/building-secure-contracts github similar
• dabit3/foundry-cheatsheet github similar
• Jon-Becker/heimdall-rs github similar
• nomad-xyz/ExcessivelySafeCall github similar