Alternatives and similar repositories for forge-toolkit

Users that are interested in forge-toolkit are comparing it to the libraries listed below

• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 10 months ago
• banteg / legible-math
  Safer than SafeMath. Goes up to 11!
  ☆39Updated 2 months ago
• hrkrshnn / tstore-template
  ☆43Updated last year
• Elyx0 / pectra-whitehat-rescue-7702
  ☆33Updated last month
• zeroknots / boilerplate.sol
  ☆15Updated 2 years ago
• Sabnock01 / blur-v2
  Contracts for Blur and Blend
  ☆30Updated last year
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆57Updated 10 months ago
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆68Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆28Updated last year
• bug-bounty-wall-of-shame / bug-bounty-wall-of-shame.github.io
  ☆19Updated 7 months ago
• beskay / gas-guide
  A comprehensive guide to teach you about gas optimization patterns.
  ☆25Updated last year
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated 4 months ago
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• emilianobonassi / curve-whitehack-example
  Example of the whitehack for Curve exploit 30/07/23
  ☆19Updated last year
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated 2 years ago
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆45Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• 0xMacro / gas-numbers-every-solidity-dev-should-know
  ☆54Updated 2 years ago
• jtriley2p / ether-deck-mk2
  ☆67Updated last year
• sigp / multiproof
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆38Updated 7 months ago
• euler-xyz / evc-playground
  A playground for the Ethereum Vault Connector (EVC)
  ☆42Updated last year
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆79Updated 2 years ago
• jtriley2p / mutexer
  ☆58Updated last year
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• ControlCplusControlV / Yul-Optimization-Tips
  ☆52Updated 2 years ago
• jtriley2p / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆30Updated last year
• perimetersec / resources
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆25Updated 2 months ago