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 4 months ago
• PositiveSecurity / ton-audit-guide
  Checklist for security audit of TON projects by @PositiveSecurity
  ☆43Updated 11 months ago
• asymptotic-code / sui-prover
  Formal Verification tool for Move on Sui
  ☆34Updated this week
• nowarp / misti
  TON Static Analyzer
  ☆50Updated this week
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆68Updated 2 weeks ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆127Updated last year
• anza-xyz / security-audits
  Published security audits
  ☆108Updated this week
• Ackee-Blockchain / solidity-for-vscode
  Solidity language support & local node testing for VS Code
  ☆52Updated 2 months ago
• fuzzland / blazctf-2023
  Challenges and Solutions of Blaz CTF 2023
  ☆45Updated 2 years ago
• Bobface / onlypwner-challenges
  Challenges for the ONLYPWNER CTF Platform
  ☆51Updated last year
• accretion-xyz / audit-reports
  Public Repository of our Audit Reports
  ☆16Updated 2 months ago
• sushiswap / masterchef
  This repository contains the core smart contracts for the MasterChefV1 & MasterChefV2 Protocols.
  ☆29Updated 2 years ago
• paradigmxyz / paradigm-ctf-2023
  ☆88Updated 2 years ago
• slowmist / Sui-MOVE-Smart-Contract-Auditing-Primer
  ☆59Updated 8 months ago
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆145Updated 10 months ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆104Updated last year
• RareSkills / Buggy-ERC-20
  ☆52Updated 3 months ago
• NomicFoundation / solx
  LLVM-based Solidity compiler.
  ☆169Updated this week
• solodit / solodit_content
  ☆125Updated 3 weeks ago
• verichains / revela
  Decompiler for Move smart contracts
  ☆83Updated last year
• Certora / tutorials-code
  Certora tutorials
  ☆30Updated 5 months ago
• balancer / balancer-v3-monorepo
  ☆126Updated last week
• RareSkills / uniswap-v2-puzzles
  ☆77Updated 6 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆114Updated last year
• movebit / Sampled-Audit-Reports
  MoveBit Sampled Audit Reports
  ☆52Updated last year
• fuzzland / blazctf-2024
  ☆38Updated last year
• AmadiMichael / LowLevelVulnerabilities
  Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solid…
  ☆133Updated 2 years ago
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆75Updated last month
• runtimeverification / kontrol
  ☆89Updated this week
• 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 11 months ago