Alternatives and similar repositories for weth-invariant-testing

Users that are interested in weth-invariant-testing are comparing it to the libraries listed below

• lucas-manuel / invariant-examples

  View on GitHub
  ☆164Jul 30, 2023Updated 2 years ago
• maple-labs / maple-core-v2

  View on GitHub
  ☆162Feb 6, 2026Updated last week
• 0xKitsune / solstat

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

  View on GitHub
  A symbolic testing tool for EVM smart contracts
  ☆967Aug 6, 2025Updated 6 months ago
• clabby / echidna-vs-forge

  View on GitHub
  Testing echidna vs. forge fuzzing
  ☆77Dec 20, 2022Updated 3 years ago
• nomad-xyz / ExcessivelySafeCall

  View on GitHub
  excessively safe solidity calls
  ☆242Oct 4, 2023Updated 2 years ago
• crytic / properties

  View on GitHub
  Pre-built security properties for common Ethereum operations
  ☆361Feb 2, 2026Updated 2 weeks ago
• Rubilmax / foundry-storage-check

  View on GitHub
  🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…
  ☆100Apr 4, 2025Updated 10 months ago
• zobront / quickpoc

  View on GitHub
  easy POC template generation from the command line
  ☆325Jan 10, 2024Updated 2 years ago
• RareSkills / solidity-riddles

  View on GitHub
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆399Nov 11, 2023Updated 2 years ago
• yAudit / defi-fork-bugs

  View on GitHub
  Bugs in commonly forked DeFi protocols
  ☆489Oct 3, 2025Updated 4 months ago
• Philogy / meth-weth

  View on GitHub
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆144Dec 31, 2023Updated 2 years ago
• nomoixyz / vulcan

  View on GitHub
  Development framework for Foundry projects
  ☆288Apr 23, 2025Updated 9 months 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
• yAudit / Solidity-Proxy-Playground

  View on GitHub
  The good, the bad, and the ugly of proxy implementations
  ☆104Jan 19, 2024Updated 2 years ago
• 0xNazgul / fuzzydefi

  View on GitHub
  Pre-built security properties for commonly forked DeFi protocols
  ☆197Nov 7, 2023Updated 2 years ago
• nascentxyz / pyrometer

  View on GitHub
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆791Feb 14, 2025Updated last year
• Certora / Tutorials

  View on GitHub
  Practical tutorials of Certora Prover
  ☆241Sep 27, 2023Updated 2 years ago
• OpenCoreCH / smart-contract-auditing-heuristics

  View on GitHub
  Heuristics for smart contract auditors
  ☆610Dec 13, 2022Updated 3 years ago
• spearbit / armory

  View on GitHub
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆403Oct 11, 2023Updated 2 years ago
• RareSkills / huff-puzzles

  View on GitHub
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆409Sep 8, 2024Updated last year
• bEsPoKeN-tOkEns / token-tester

  View on GitHub
  Use cursed ERC20s in foundry unit tests
  ☆144Mar 5, 2023Updated 2 years ago
• transmissions11 / solcurity

  View on GitHub
  Opinionated security and code quality standard for Solidity smart contracts.
  ☆2,163Jul 2, 2023Updated 2 years ago
• sablier-labs / lockup

  View on GitHub
  ⏳ Smart contracts of the Sablier Lockup protocol
  ☆343Feb 9, 2026Updated last week
• 0xJuancito / multichain-auditor

  View on GitHub
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆711Feb 4, 2026Updated last week
• brockelmore / solvm

  View on GitHub
  evm inception: the evm inside the evm via yul and solidity
  ☆227Apr 19, 2023Updated 2 years ago
• kadenzipfel / function-selector-miner

  View on GitHub
  Blazingly fast function selector miner written in Rust.
  ☆79Apr 7, 2023Updated 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
• 0xcacti / awesome-oracle-manipulation

  View on GitHub
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆529Mar 29, 2024Updated last year
• coinspect / learn-evm-attacks

  View on GitHub
  🚀 Try the Learn EVM Explorer we just launched!!!
  ☆1,795Feb 2, 2026Updated 2 weeks 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
• ScopeLift / l2-optimizoooors

  View on GitHub
  Gas efficient routers for L2 applications
  ☆116Sep 23, 2022Updated 3 years ago
• zeroknots / brokentoken

  View on GitHub
  Foundry Test Suit to test weird ERC20 behavior
  ☆235Mar 23, 2023Updated 2 years ago
• Perelyn-sama / yul_by_example

  View on GitHub
  Code examples in Yul
  ☆257Aug 27, 2024Updated last year
• immunefi-team / forge-poc-templates

  View on GitHub
  ☆476Mar 31, 2025Updated 10 months ago
• oguimbal / HyVM

  View on GitHub
  Run arbitrary code on the EVM
  ☆265Feb 21, 2024Updated last year
• crytic / building-secure-contracts

  View on GitHub
  Guidelines and training material to write secure smart contracts
  ☆2,447Jan 26, 2026Updated 3 weeks ago
• dmfxyz / murky

  View on GitHub
  Merkle Proof Generator and Validator in Solidity
  ☆501Feb 27, 2025Updated 11 months ago
• alexfertel / bulloak

  View on GitHub
  Generate tests based on the Branching Tree Technique.
  ☆342Jan 14, 2026Updated last month