Alternatives and similar repositories for forge-toolkit

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

• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆30Updated 2 years ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆30Updated last year
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated last year
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆42Updated 3 years ago
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Updated 2 years ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆70Updated last year
• tinchoabbate / eth-sec-lab
  A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.
  ☆41Updated 2 years ago
• scab24 / univ4-risk-neutral-hook
  LVR & IL Hedge Hook: Dynamic Fees for pools and Power Perps / Borrwing hedges for LPs. Towards a risk neutral DeFi.
  ☆23Updated 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 10 months ago
• magnetto90 / tokens-decimals
  Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…
  ☆30Updated 2 years ago
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆79Updated 2 years ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated last year
• beskay / gas-guide
  A comprehensive guide to teach you about gas optimization patterns.
  ☆26Updated 2 years ago
• yAudit / Solidity-Proxy-Playground
  The good, the bad, and the ugly of proxy implementations
  ☆104Updated 2 years ago
• iphelix / euler-exploit-poc
  ☆50Updated 2 years ago
• minaminao / defi-exploits
  DeFi exploits for educational purposes
  ☆60Updated 2 years ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆113Updated last year
• RareSkills / uniswap-v2-puzzles
  ☆76Updated 5 months ago
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆29Updated last year
• Elyx0 / pectra-whitehat-rescue-7702
  ☆34Updated 8 months ago
• yAudit / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated 9 months ago
• forefy / eburger
  eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
  ☆37Updated last month
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆20Updated 2 years ago
• ustas-eth / daily-glider
  Casual Glider guides and tips
  ☆33Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆58Updated 11 months ago
• favelanky / j4lanky
  Speed up your judging on Sherlock!
  ☆17Updated 2 years ago
• 0xnirlin / Thirdweb-Exploit-POC
  Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.
  ☆17Updated 2 years ago