Alternatives and similar repositories for silo-contracts-v2

Users that are interested in silo-contracts-v2 are comparing it to the libraries listed below

• horsefacts / weth-invariant-testing
  ☆283Updated last year
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆335Updated 3 months ago
• t4sk / hello-foundry
  ☆129Updated 7 months ago
• Cyfrin / assembly-evm-opcodes-and-formal-verification-course
  ☆113Updated 2 months ago
• Cyfrin / advanced-defi-2024
  ☆122Updated last week
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆258Updated 11 months ago
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆245Updated 4 months ago
• huff-language / foundry-huff
  A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
  ☆271Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆389Updated 11 months ago
• sablier-labs / lockup
  ⏳ Smart contracts of the Sablier Lockup protocol
  ☆330Updated last week
• transmissions11 / headers
  Generate perfect code headers every time.
  ☆315Updated last year
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆274Updated 8 months ago
• ethereum / hevm
  Symbolic and concrete EVM execution engine
  ☆301Updated this week
• Cyfrin / web3-dev-containers
  A repo to help users run code in isolated environments. Stay safe big dogs.
  ☆133Updated last month
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆119Updated 4 months ago
• Cyfrin / safe-tx-hashes
  ☆134Updated 3 months ago
• alexfertel / bulloak
  Generate tests based on the Branching Tree Technique.
  ☆332Updated 3 months ago
• mario-eth / soldeer
  Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
  ☆346Updated 2 weeks ago
• devdacian / ai-auditor-primers
  Primers for Specialist AI Smart Contract Auditors
  ☆184Updated last week
• Cyfrin / report-generator-template
  A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.
  ☆38Updated 2 weeks ago
• Renzo1 / Security_Auditors_Starter_Pack
  ☆40Updated 9 months ago
• zigtur / Rareskills-Solidity-Bootcamp
  This repository contains my Rareskills Solidity Bootcamp work.
  ☆129Updated last year
• Sir-Shaedy / Ultimate-Foundry-CheatCode
  ☆15Updated 3 months ago
• morpho-org / morpho-blue
  Morpho Blue Protocol
  ☆222Updated this week
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆244Updated 5 months ago
• Cyfrin / evm-wallet-and-post-deployment-course
  ☆44Updated 2 months ago
• RareSkills / yul-puzzles
  A set of exercises to practice Yul
  ☆94Updated 5 months ago
• tpiliposian / Immunefi-bugfixes
  The critical bug writeups
  ☆122Updated 9 months ago
• Decurity / audit-checklists
  ☆213Updated last year
• windhustler / Interoperability-Protocol-Security-Checklist
  ☆96Updated last month