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
  ☆39Updated last month
• PositiveSecurity / ton-audit-guide
  Checklist for security audit of TON projects by @PositiveSecurity
  ☆43Updated 8 months ago
• nowarp / misti
  TON Static Analyzer
  ☆50Updated last month
• anza-xyz / security-audits
  Published security audits
  ☆102Updated this week
• asymptotic-code / sui-prover
  Formal Verification tool for Move on Sui
  ☆31Updated this week
• movebit / Sampled-Audit-Reports
  MoveBit Sampled Audit Reports
  ☆53Updated last year
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆65Updated last year
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆24Updated 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 last year
• Bobface / onlypwner-challenges
  Challenges for the ONLYPWNER CTF Platform
  ☆48Updated 11 months ago
• ValkyriSecurity / awesome-wallet-security
  Resources to learn Wallet Security
  ☆50Updated 2 months ago
• statemindio / public-audits
  This repository holds public audits performed by the statemind team.
  ☆24Updated 3 weeks 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…
  ☆246Updated last week
• ton-blockchain / hack-challenge-1
  Repository with tasks for TON Hack Challenge #1 https://t.me/toncontests/80
  ☆26Updated 3 years ago
• fuzzland / blazctf-2023
  Challenges and Solutions of Blaz CTF 2023
  ☆45Updated last year
• blocksecteam / audit-reports
  ☆46Updated last month
• paradigmxyz / paradigm-ctf-2023
  ☆84Updated last year
• runtimeverification / kontrol
  ☆84Updated this week
• espritoxyz / tsa
  TON Symbolic Analyzer
  ☆22Updated this week
• verichains / revela
  Decompiler for Move smart contracts
  ☆81Updated last year
• fuzzland / blazctf-2024
  ☆38Updated last year
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated 8 months ago
• slowmist / Toncoin-Smart-Contract-Security-Best-Practices
  ☆36Updated last year
• SunWeb3Sec / DeFi-Security-Breach-RCA
  DeFi Security Breaches: Comprehensive Root Cause Analysis
  ☆78Updated 3 months ago
• Ackee-Blockchain / solidity-for-vscode
  Solidity language support & local node testing for VS Code
  ☆51Updated 3 weeks ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆124Updated last year
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆101Updated last year
• cystack / security-audit-reports
  This repository contains public security audit reports conducted by CyStack
  ☆17Updated 10 months ago
• slowmist / Sui-MOVE-Smart-Contract-Auditing-Primer
  ☆53Updated 5 months ago
• zenith-security / reports
  ☆40Updated this week