Alternatives and similar repositories for 7702-goat

Users that are interested in 7702-goat are comparing it to the libraries listed below

• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• RareSkills / uniswap-v2-puzzles
  ☆55Updated 5 months ago
• spearbit-audits / audit-template
  ☆36Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆55Updated 4 months ago
• Malinariy / Solidity-gas-optimizations-tips
  ☆32Updated 2 years ago
• secureum / RACE
  Readiness Assessment for CARE Endeavour
  ☆54Updated last year
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆85Updated last year
• windhustler / Interoperability-Protocol-Security-Checklist
  ☆80Updated last week
• electisec / fellowship-audits
  ☆55Updated last year
• defi-wonderland / natspec-smells
  👃Automatically identify missing or incomplete natspec
  ☆93Updated 2 weeks ago
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆68Updated last year
• 0xkarmacoma / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆61Updated last month
• RareSkills / capture-the-ether-foundry
  A recreation of capturetheether.com using Solidity 0.8.0 and the foundry environment.
  ☆85Updated 10 months ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆111Updated last year
• BlockChomper / ctf-challenges
  A collection of ctf challenges based on Rareskills educational content
  ☆37Updated 5 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated last year
• devtooligan / etherrealms-player-class-guide
  ☆61Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• 0xdeadbeef0x / APG
  APG (Auditor Profile Generator)
  ☆35Updated last year
• IAm0x52 / AuditNoteSharing
  ☆57Updated last year
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆20Updated 3 months ago
• chinmay-farkya / report-and-poc-templates
  ☆36Updated 2 years ago
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• Deivitto / auditor-docker
  ☆134Updated last year
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• MiloTruck / evm-ctf-challenges
  CTF challenges made by MiloTruck
  ☆84Updated 3 weeks ago
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆27Updated last year
• carrotsmuggler / c4-table
  A utility to extract the issue links for a particular contest submitted by a particular user. Generates a markdown table with the issue l…
  ☆38Updated 9 months ago
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆145Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆96Updated last year