Alternatives and similar repositories for silo-contracts-v2

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

• t4sk / hello-foundry
  ☆128Updated 8 months ago
• Cyfrin / advanced-defi-2024
  ☆133Updated last month
• Cyfrin / assembly-evm-opcodes-and-formal-verification-course
  ☆114Updated 4 months ago
• horsefacts / weth-invariant-testing
  ☆284Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆398Updated last year
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆335Updated 5 months ago
• huff-language / foundry-huff
  A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
  ☆274Updated last year
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆256Updated last year
• devdacian / ai-auditor-primers
  Primers for Specialist AI Smart Contract Auditors
  ☆210Updated last month
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆245Updated 6 months ago
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆128Updated 6 months ago
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
  ☆320Updated last week
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆460Updated last year
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆281Updated 9 months ago
• Cyfrin / web3-dev-containers
  A repo to help users run code in isolated environments. Stay safe big dogs.
  ☆139Updated 2 months ago
• Cyfrin / report-generator-template
  A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.
  ☆39Updated 3 weeks ago
• mario-eth / soldeer
  Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
  ☆361Updated this week
• Cyfrin / foundry-upgrades-cu
  ☆33Updated last year
• Certora / Tutorials
  Practical tutorials of Certora Prover
  ☆238Updated last year
• tpiliposian / Immunefi-bugfixes
  The critical bug writeups
  ☆123Updated 10 months ago
• solodit / solodit_content
  ☆119Updated 2 weeks ago
• Cyfrin / safe-tx-hashes
  ☆134Updated 4 months ago
• transmissions11 / headers
  Generate perfect code headers every time.
  ☆327Updated last year
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆480Updated 6 months ago
• 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…
  ☆374Updated last year
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆252Updated last week
• sablier-labs / lockup
  ⏳ Smart contracts of the Sablier Lockup protocol
  ☆335Updated this week
• alexfertel / bulloak
  Generate tests based on the Branching Tree Technique.
  ☆334Updated this week
• zigtur / Rareskills-Solidity-Bootcamp
  This repository contains my Rareskills Solidity Bootcamp work.
  ☆132Updated last year
• morpho-org / morpho-blue
  Morpho Blue Protocol
  ☆230Updated last month