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
  ☆459Updated 4 months ago
• Cyfrin / audit-checklist
  Aggregated audit checklist
  ☆245Updated 2 weeks ago
• zobront / quickpoc
  easy POC template generation from the command line
  ☆318Updated last year
• Decurity / audit-checklists
  ☆209Updated last year
• immunefi-team / forge-poc-templates
  ☆441Updated 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…
  ☆402Updated last year
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆238Updated 2 years ago
• aviggiano / theauditorbook
  The Auditor Book
  ☆233Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆383Updated 6 months ago
• GuardianAudits / Audits
  ☆185Updated last week
• 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…
  ☆332Updated last year
• Consensys / solidity-metrics
  Solidity Code Metrics
  ☆262Updated 3 months ago
• Cyfrin / audit-report-templating
  ☆311Updated last year
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆528Updated 7 months ago
• obheda12 / Solidity-Security-Compendium
  A mission to breakout every single solidity vuln I come across and categorize it
  ☆225Updated last year
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆274Updated 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.
  ☆524Updated 11 months ago
• spearbit / portfolio
  ☆533Updated this week
• OffcierCia / tips-solidity-code-auditors
  Gaining the most elusive of tips. Add your input and let's collect them all!
  ☆282Updated last year
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆476Updated 2 months ago
• byterocket / c4udit
  Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
  ☆237Updated 3 years ago
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆357Updated 9 months ago
• MiloTruck / audits
  Audits and findings by MiloTruck
  ☆164Updated last week
• jtriley2p / the-ethereum-virtual-machine
  ☆225Updated last year
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆156Updated 11 months ago
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆502Updated last year
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆242Updated 2 weeks ago
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆258Updated 6 months ago
• 0xJuancito / multichain-auditor
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆685Updated 6 months ago
• shieldify-security / audits-portfolio
  Shieldify's public audits portfolio
  ☆206Updated this week