Alternatives and similar repositories for hacktheton

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

• Polaristow / awesome-ton-security
  A curated list of awesome ton security resources
  ☆38Updated 3 months ago
• nowarp / misti
  TON Static Analyzer
  ☆50Updated 3 weeks ago
• PositiveSecurity / ton-audit-guide
  Checklist for security audit of TON projects by @PositiveSecurity
  ☆42Updated 10 months ago
• asymptotic-code / sui-prover
  Formal Verification tool for Move on Sui
  ☆33Updated this week
• Bobface / onlypwner-challenges
  Challenges for the ONLYPWNER CTF Platform
  ☆48Updated last year
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆66Updated last year
• accretion-xyz / audit-reports
  Public Repository of our Audit Reports
  ☆16Updated 3 weeks ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆104Updated last year
• blocksecteam / audit-reports
  ☆48Updated this week
• paradigmxyz / paradigm-ctf-2023
  ☆86Updated last year
• anza-xyz / security-audits
  Published security audits
  ☆105Updated this week
• fuzzland / blazctf-2023
  Challenges and Solutions of Blaz CTF 2023
  ☆45Updated 2 years ago
• fuzzland / blazctf-2024
  ☆38Updated last year
• solodit / solodit_content
  ☆123Updated last month
• movebit / Sampled-Audit-Reports
  MoveBit Sampled Audit Reports
  ☆52Updated last year
• Ackee-Blockchain / solidity-for-vscode
  Solidity language support & local node testing for VS Code
  ☆51Updated last month
• magnetto90 / tokens-decimals
  Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…
  ☆30Updated 2 years ago
• BlockApex / Audit-Reports
  Security Audit reports by BlockApex
  ☆37Updated 2 months ago
• runtimeverification / kontrol
  ☆86Updated last week
• zokyo-sec / audit-reports
  ☆24Updated this week
• Auditware / radar
  A static analysis tool for rust smart contracts.
  ☆119Updated last month
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆127Updated last year
• NomicFoundation / solx
  LLVM-based Solidity compiler.
  ☆170Updated this week
• RareSkills / uniswap-v2-puzzles
  ☆75Updated 4 months ago
• OpenZeppelin / ctf-2024
  ⚡️ Ethernaut CTF 2024 Challenges & Solutions
  ☆115Updated last year
• RareSkills / Buggy-ERC-20
  ☆52Updated 2 months ago
• minaminao / erever
  My swiss army knife for reversing EVM bytecodes (super experimental)
  ☆126Updated last month
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 10 months ago
• Certora / CertoraProver
  The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…
  ☆263Updated last week
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆115Updated last year