Alternatives and similar repositories for deployment_validation:

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

• Dedaub / audits
  Repository containing past audit reports
  ☆53Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 6 months ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• crytic / roundme
  ☆91Updated 9 months ago
• 0xKitsune / EVM-Gas-Optimizations
  A collection of gas optimizations for the EVM.
  ☆90Updated 2 years ago
• shafu0x / huff-stacker
  The goal of this project is to automatically generate stack comments for huff macros
  ☆50Updated last year
• noxx3xxon / evm-by-example
  ☆76Updated 2 years ago
• hrkrshnn / tstore-template
  ☆43Updated last year
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 2 years ago
• Rubilmax / foundry-storage-check
  🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…
  ☆95Updated last month
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆94Updated last year
• storming0x / ethlift-rs
  CLI tools intended to be use by smart contract developers for general tasks
  ☆67Updated last year
• spherex-xyz / reentrancy-guard-proxy
  A Proxy contract incorporating a Reentrancy Guard
  ☆28Updated last year
• jtriley2p / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆79Updated last year
• ZeframLou / foundry-docgen
  ☆50Updated 2 years ago
• 0xMob100 / sporalyzer
  EVM contract size analyzer
  ☆17Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆58Updated last year
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• 0xalpharush / static-analysis-and-compilers
  Eclectic notes on static analysis and compilers
  ☆47Updated 2 years ago
• ScopeLift / foundry-template
  An opinionated template for Foundry projects.
  ☆74Updated 8 months ago
• jtriley2p / mutexer
  ☆58Updated last year
• 0xJCN / Ethernaut-CTF
  Ethernaut CTF solutions with Ape, Vyper, & Huff
  ☆36Updated 2 years ago
• nascentxyz / How-to-Foundry
  ☆81Updated 2 years ago
• saucepoint / super-ERC4626-example
  Experimental hybrid/cross-chain ERC4626 vaults
  ☆50Updated 2 years ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago