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
  ☆284Updated 11 months ago
• t4sk / hello-foundry
  ☆127Updated 6 months ago
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆388Updated 10 months ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆327Updated 2 months ago
• Cyfrin / assembly-evm-opcodes-and-formal-verification-course
  ☆111Updated last month
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆246Updated 4 months ago
• Cyfrin / advanced-defi-2024
  ☆118Updated 3 months ago
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆258Updated 10 months ago
• huff-language / foundry-huff
  A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
  ☆272Updated last year
• tpiliposian / Immunefi-bugfixes
  The critical bug writeups
  ☆121Updated 8 months ago
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆466Updated 4 months ago
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆227Updated 5 months ago
• transmissions11 / headers
  Generate perfect code headers every time.
  ☆307Updated last year
• RareSkills / yul-puzzles
  A set of exercises to practice Yul
  ☆93Updated 5 months ago
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
  ☆296Updated last week
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆271Updated 7 months ago
• sablier-labs / lockup
  ⏳ Smart contracts of the Sablier Lockup protocol
  ☆330Updated last week
• devdacian / ai-auditor-primers
  Primers for Specialist AI Smart Contract Auditors
  ☆146Updated last week
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆119Updated 3 months ago
• Cyfrin / foundry-era-contracts
  ☆19Updated last year
• windhustler / Interoperability-Protocol-Security-Checklist
  ☆91Updated last month
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆191Updated 2 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…
  ☆362Updated last year
• zigtur / Rareskills-Solidity-Bootcamp
  This repository contains my Rareskills Solidity Bootcamp work.
  ☆129Updated last year
• mario-eth / soldeer
  Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
  ☆340Updated last week
• jcsec-security / CosmWasm-audit-roadmap
  Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities
  ☆96Updated last year
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆458Updated last year
• alexfertel / bulloak
  Generate tests based on the Branching Tree Technique.
  ☆332Updated 2 months ago
• jtriley2p / the-ethereum-virtual-machine
  ☆228Updated 2 years ago
• ethereum / hevm
  symbolic EVM evaluator
  ☆295Updated last week