Alternatives and similar repositories for solidity-fuzzing-boilerplate

Users that are interested in solidity-fuzzing-boilerplate are comparing it to the libraries listed below

• 0xNazgul / fuzzydefi
  Pre-built security properties for commonly forked DeFi protocols
  ☆195Updated last year
• secureum / DeFi-Security-Summit-Stanford
  DEFI Focus Smart Contract Security Capture the Flag
  ☆179Updated 2 years ago
• maurelian / solidity-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆153Updated last year
• emilianobonassi / whitehacks-kit
  A simple template to perform whitehacks safely
  ☆179Updated 2 years ago
• daltyboy11 / more-evm-puzzles
  10 More EVM Puzzles
  ☆170Updated last year
• Sabnock01 / uniswap-resources
  All things Uniswap
  ☆185Updated last year
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆159Updated last year
• 0xKitsune / Foundry-Vyper
  A Foundry template to compile and test Vyper contracts.
  ☆177Updated last year
• argotorg / solidity-underhanded-contest
  Website for the Underhanded Solidity Contest
  ☆169Updated 11 months ago
• byterocket / c4-common-issues
  A collection of common security issues and possible gas optimizations in solidity smart contracts
  ☆157Updated 3 years ago
• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• zobront / quickpoc
  easy POC template generation from the command line
  ☆323Updated last year
• Certora / Tutorials
  Practical tutorials of Certora Prover
  ☆241Updated 2 years ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• Deivitto / auditor-docker
  ☆137Updated last year
• MrToph / ethernaut
  My solutions to https://ethernaut.openzeppelin.com/
  ☆70Updated 4 years ago
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆280Updated 2 years ago
• zobront / paradigm-ctf
  template for efficient paradigm ctf testing & scripts
  ☆155Updated 2 years ago
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆162Updated last year
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated 2 years ago
• bEsPoKeN-tOkEns / token-tester
  Use cursed ERC20s in foundry unit tests
  ☆144Updated 2 years ago
• byterocket / c4udit
  Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
  ☆237Updated 3 years ago
• mattaereal / yet-another-evm-puzzle
  This part of a small series of medium post dedicated to motivate myself while learning how the evm works.
  ☆90Updated 5 months ago
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• secureum / AMAZEX-DSS-PARIS
  ☆91Updated 2 years ago
• StErMi / foundry-ethernaut
  ☆105Updated 3 years ago
• spearbit-audits / writing-exercise
  ☆102Updated 3 years ago
• jcsec-security / all-things-reentrancy
  Workshop about the different types of reentrancy attacks
  ☆133Updated 7 months ago
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆256Updated last year
• jtriley2p / the-ethereum-virtual-machine
  ☆228Updated 2 years ago