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
  ☆41Updated 6 months ago
• nowarp / misti
  TON Static Analyzer
  ☆45Updated last week
• movebit / Sampled-Audit-Reports
  MoveBit Sampled Audit Reports
  ☆48Updated 10 months ago
• anza-xyz / security-audits
  Published security audits
  ☆91Updated this week
• fuzzland / blazctf-2023
  Challenges and Solutions of Blaz CTF 2023
  ☆45Updated last year
• Ackee-Blockchain / solidity-for-vscode
  Solidity language support & local node testing for VS Code
  ☆48Updated last week
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆62Updated last year
• fuzzland / blazctf-2024
  ☆38Updated 11 months ago
• blocksecteam / audit-reports
  ☆36Updated last week
• slowmist / Sui-MOVE-Smart-Contract-Auditing-Primer
  ☆49Updated 3 months ago
• MEDGA-eth / foundry
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆47Updated 10 months ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆101Updated last year
• saruman9 / move_ctf_writeup
  Writeup for Move CTF 2022 by MoveBit and others.
  ☆18Updated 2 years ago
• slowmist / Toncoin-Smart-Contract-Security-Best-Practices
  ☆35Updated 11 months ago
• OpenZeppelin / sgp
  Solidity ANTLR4 grammar Python parser
  ☆13Updated 5 months ago
• Bobface / onlypwner-challenges
  Challenges for the ONLYPWNER CTF Platform
  ☆47Updated 9 months ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆193Updated 3 months ago
• Auditware / radar
  A static analysis tool for anchor rust programs.
  ☆103Updated last week
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆24Updated 3 weeks ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆122Updated last year
• paradigmxyz / paradigm-ctf-2023
  ☆82Updated last year
• 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…
  ☆231Updated this week
• solodit / solodit_content
  ☆119Updated last week
• AmadiMichael / LowLevelVulnerabilities
  Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solid…
  ☆128Updated last year
• Ackee-Blockchain / Solana-Auditors-Bootcamp
  Learn to audit Solana programs and help secure the ecosystem. Take your security practices to the next level and get certified by Ackee B…
  ☆139Updated 11 months ago
• Rektoff / Security-Roadmap-for-Solana-applications
  We are systematizing everything we know about Solana security into one structured resource: the Solana Security Strategy. It’s a field-te…
  ☆170Updated last month
• SunWeb3Sec / DeFi-Security-Breach-RCA
  DeFi Security Breaches: Comprehensive Root Cause Analysis
  ☆78Updated last month
• espritoxyz / tsa
  TON Symbolic Analyzer
  ☆19Updated this week
• OneSavieLabs / Bastet
  Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to…
  ☆87Updated last month