Alternatives and similar repositories for fuzzer-evaluation

Users that are interested in fuzzer-evaluation are comparing it to the libraries listed below

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆20Updated 10 months ago
• baolean / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆13Updated 2 years ago
• unhackedctf / schnoodle
  unhacked challenge 2: schnoodle
  ☆21Updated 2 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• emo-eth / sol-heap
  efficient libraries for working with min-heaps in solidity
  ☆23Updated 2 years ago
• williamberman / evm-symbolic-execution
  ☆37Updated 3 years ago
• Philogy / sussy-huff-ctf
  ☆29Updated 2 years ago
• hrkrshnn / notes
  ☆51Updated last year
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated 2 years ago
• Certora / Documentation
  ☆17Updated 2 weeks ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• yashnaman / tokensWithPermitFunctionList
  An in complete list of tokens with permit function
  ☆14Updated 4 years ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Updated last year
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated 2 years ago
• AmadiMichael / tstore-huff-template
  Tstore huff template
  ☆17Updated last year
• verklegarden / crysol
  secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations
  ☆59Updated 3 months ago
• Philogy / transient-goodies
  ☆45Updated 7 months ago
• devtooligan / memory-strux
  Optimized, in-memory, memory safe data structures written in Solidity.
  ☆36Updated last year
• perimetersec / resources
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆25Updated 2 months ago
• hananbeer / master
  Modify ASTs Easily & Reliably
  ☆17Updated last year
• jtriley2p / huff-hooks
  Uniswap V4 Huff Hooks
  ☆40Updated 2 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated last year
• runtimeverification / ercx-tests
  ☆33Updated 2 weeks ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆46Updated 2 years ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• Yashiru / huff-stack-comments
  A visual studio code extension that automatically generate the stack comments for Huff.
  ☆26Updated last year
• kjr217 / foundry-go-template
  ☆15Updated last year
• emo-eth / forge-gas-metering
  utilities for more granular and realistic gas measuring in forge tests
  ☆30Updated last year
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆31Updated last year