Alternatives and similar repositories for fuzzydefi:

Users that are interested in fuzzydefi are comparing it to the libraries listed below

• secureum / AMAZEX-DSS-PARIS
  ☆92Updated last year
• Deivitto / auditor-docker
  ☆129Updated 8 months ago
• maurelian / solidity-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆147Updated last year
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆152Updated 9 months ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆206Updated last year
• devdacian / solidity-fuzzing-comparison
  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
  ☆147Updated 2 weeks ago
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated last year
• zigtur / Rareskills-Solidity-Bootcamp
  This repository contains my Rareskills Solidity Bootcamp work.
  ☆122Updated last year
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆106Updated 2 months ago
• spearbit-audits / writing-exercise
  ☆102Updated 2 years ago
• MiloTruck / audits
  Audits and findings by MiloTruck
  ☆158Updated this week
• Sabnock01 / uniswap-resources
  All things Uniswap
  ☆179Updated last year
• bEsPoKeN-tOkEns / token-tester
  Use cursed ERC20s in foundry unit tests
  ☆147Updated last year
• solodit / solodit_content
  ☆101Updated this week
• electisec / Solidity-Proxy-Playground
  The good, the bad, and the ugly of proxy implementations
  ☆103Updated last year
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆120Updated 5 months ago
• lucas-manuel / invariant-examples
  ☆163Updated last year
• Decurity / audit-checklists
  ☆208Updated last year
• GuardianAudits / Audits
  ☆180Updated last week
• chinmay-farkya / EVM-notes
  ☆113Updated 11 months ago
• Tomosuke0930 / C4-report-categolized
  ☆87Updated 2 years ago
• HollaDieWaldfee100 / audits
  Portfolio of my work.
  ☆67Updated last year
• D-Squared70 / Reading-Room
  A repository to house all the links, notes, photos, and random thoughts from previous D-squared YouTube recordings
  ☆127Updated 7 months ago
• spearbit / proposals
  ☆62Updated 2 years ago
• sherlock-protocol / sherlock-reports
  Sherlock audit and coverage reports
  ☆122Updated this week
• romeroadrian / audits
  A collection of my personal security audits
  ☆66Updated last month
• jcsec-security / all-things-reentrancy
  Workshop about the different types of reentrancy attacks
  ☆124Updated 9 months ago
• emilianobonassi / whitehacks-kit
  A simple template to perform whitehacks safely
  ☆175Updated last year
• berndartmueller / audits
  Public profile of my adventure as a blockchain and smart contract security auditor.
  ☆67Updated last week
• 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