Alternatives and similar repositories for foundry-invariants

Users that are interested in foundry-invariants are comparing it to the libraries listed below

• pynchmeister / yul-greatest-hits

  View on GitHub
  A collection of Yul/Yul+ code, from basic token standards, to advanced Defi primitives
  ☆19Nov 28, 2025Updated 2 months ago
• emo-eth / upgradeable-storage-checks

  View on GitHub
  Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.
  ☆28Dec 23, 2022Updated 3 years ago
• kadenzipfel / hourglass

  View on GitHub
  ☆20Oct 20, 2022Updated 3 years ago
• devtooligan / Huffpoint

  View on GitHub
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆33Oct 31, 2023Updated 2 years ago
• emo-eth / are-we-immutable-yet

  View on GitHub
  Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to
  ☆29Oct 19, 2022Updated 3 years ago
• timeless-fi / uniswap-poor-oracle

  View on GitHub
  Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain
  ☆50Jun 16, 2023Updated 2 years ago
• oguimbal / HyVM

  View on GitHub
  Run arbitrary code on the EVM
  ☆265Feb 21, 2024Updated last year
• axic / puretea

  View on GitHub
  ☆17Jul 1, 2022Updated 3 years ago
• PraneshASP / huff-math

  View on GitHub
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Apr 26, 2024Updated last year
• 0xKitsune / solstat

  View on GitHub
  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
  ☆430Nov 17, 2023Updated 2 years ago
• exp-table / pigeon

  View on GitHub
  Simulate cross-chain protocols txs, easily.
  ☆152Jun 19, 2025Updated 7 months ago
• odyslam / bash-utils

  View on GitHub
  A collection of useful bash scripts for ChainOps and more
  ☆84Nov 5, 2022Updated 3 years ago
• ControlCplusControlV / Yul-Optimization-Tips

  View on GitHub
  ☆51Jul 5, 2022Updated 3 years ago
• refcell / unix

  View on GitHub
  A lightweight, extensible foundry library for shell scripting.
  ☆62Jul 12, 2022Updated 3 years ago
• jtriley2p / smart-types

  View on GitHub
  ☆69Sep 11, 2023Updated 2 years ago
• arcadia-finance / arcadia-lending

  View on GitHub
  Arcadia Lending is the first application leveraging our Arcadia Vaults. It is a non-custodial peer-to-contract lending protocol where use…
  ☆36Jun 5, 2023Updated 2 years ago
• zobront / halmos-solady

  View on GitHub
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Aug 22, 2024Updated last year
• JetJadeja / flashloan-workshop

  View on GitHub
  Contracts for my flashloan workshop/lecture at UPenn
  ☆77Nov 13, 2022Updated 3 years ago
• zobront / quickpoc

  View on GitHub
  easy POC template generation from the command line
  ☆325Jan 10, 2024Updated 2 years ago
• morpho-org / ethers-multicall

  View on GitHub
  ⚡ Call multiple view functions, from multiple Smart Contracts, in a single RPC query!
  ☆24Apr 25, 2023Updated 2 years ago
• devtooligan / awesome-huff

  View on GitHub
  A curated list of resources for Huff language
  ☆315Jan 11, 2024Updated 2 years ago
• evmcheb / solarray

  View on GitHub
  A blazing-fast helper library for convenient Solidity dynamic arrays
  ☆125Jan 12, 2024Updated 2 years ago
• 0xClandestine / solplot

  View on GitHub
  A Foundry plugin that enables you to plot charts within solidity.
  ☆158Jan 4, 2024Updated 2 years ago
• meppent / pellucid

  View on GitHub
  An EVM decompiler written in Rust.
  ☆47Nov 24, 2022Updated 3 years ago
• libevm / hufflepuff

  View on GitHub
  Then I'll huff and I'll puff and I'll blow your house in
  ☆15Oct 21, 2022Updated 3 years ago
• refcell / gprobe

  View on GitHub
  A verbose CLI to probe go-ethereum data structures, built in rust.
  ☆14Mar 3, 2023Updated 2 years ago
• 0xethsign / Account2

  View on GitHub
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆79Dec 26, 2022Updated 3 years ago
• moodlezoup / forge-deep

  View on GitHub
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65May 15, 2023Updated 2 years ago
• PraneshASP / huff-goo-issuance

  View on GitHub
  GOO(Gradual Ownership Optimization) issuance implementation using Huff
  ☆34Oct 1, 2022Updated 3 years ago
• transmissions11 / VRGDAs

  View on GitHub
  Variable Rate Gradual Dutch Auctions.
  ☆304Apr 4, 2023Updated 2 years ago
• paradigmxyz / paradigm-ctf-2022-teaser

  View on GitHub
  https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code
  ☆40Jan 18, 2022Updated 4 years ago
• iFrostizz / solhunt

  View on GitHub
  Hunt for common bad practices in Solidity smart contracts !
  ☆123May 9, 2023Updated 2 years ago
• hrkrshnn / notes

  View on GitHub
  ☆51Sep 11, 2023Updated 2 years ago
• devtooligan / bit-magic-huff-speedrun

  View on GitHub
  Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html
  ☆21Oct 7, 2022Updated 3 years ago
• Morphous-xyz / morphous

  View on GitHub
  🤖 Smart contracts built on top of Morpho Protocol to enable one-click leverage and strategies
  ☆21Jun 17, 2023Updated 2 years ago
• devtooligan / curta-elohim

  View on GitHub
  A puzzle for Curta CTF
  ☆26Sep 5, 2023Updated 2 years ago
• huff-language / huffmate

  View on GitHub
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆468Jun 24, 2024Updated last year
• primitivefinance / solstat

  View on GitHub
  Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.
  ☆119Dec 4, 2023Updated 2 years ago
• WilfredTA / ser

  View on GitHub
  Symbolic EVM in Rust (WIP)
  ☆86Dec 23, 2023Updated 2 years ago