Alternatives and similar repositories for properties

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

• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆482Updated 9 months ago
• immunefi-team / forge-poc-templates
  ☆459Updated 4 months ago
• spearbit / armory
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆403Updated last year
• zobront / quickpoc
  easy POC template generation from the command line
  ☆322Updated last year
• RareSkills / solidity-riddles
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆368Updated last year
• GuardianAudits / Audits
  Institutional-grade web3 security.
  ☆309Updated last week
• Decurity / audit-checklists
  ☆221Updated 2 years ago
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated 2 years ago
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆244Updated 5 months ago
• Cyfrin / audit-checklist
  Aggregated audit checklist
  ☆304Updated 3 months ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆491Updated 7 months ago
• OffcierCia / tips-solidity-code-auditors
  Gaining the most elusive of tips. Add your input and let's collect them all!
  ☆331Updated last year
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆541Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆393Updated 11 months ago
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆374Updated last year
• aviggiano / theauditorbook
  The Auditor Book
  ☆231Updated last year
• spearbit / portfolio
  ☆552Updated last week
• Cyfrin / assembly-evm-opcodes-and-formal-verification-course
  ☆114Updated 3 months ago
• devdacian / ai-auditor-primers
  Primers for Specialist AI Smart Contract Auditors
  ☆193Updated last week
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆278Updated 8 months ago
• Cyfrin / audit-report-templating
  ☆352Updated last year
• transmissions11 / headers
  Generate perfect code headers every time.
  ☆318Updated last year
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆525Updated last year
• byterocket / c4udit
  Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
  ☆237Updated 3 years ago
• Quillhash / Solidity-Attack-Vectors
  This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a p…
  ☆451Updated last year
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆413Updated last week
• OpenCoreCH / smart-contract-auditing-heuristics
  Heuristics for smart contract auditors
  ☆599Updated 2 years ago
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆279Updated 2 years ago
• Cyfrin / cyfrin-audit-reports
  A list of public audit reports conducted by the Cyfrin team
  ☆257Updated 2 weeks ago
• RareSkills / Solidity-Exercises
  Exercises to learn solidity. This accompanies the RareSkills Learn Solidity resource.
  ☆309Updated 6 months ago