Alternatives and similar repositories for pro-bono-spot-checks:

Users that are interested in pro-bono-spot-checks are comparing it to the libraries listed below

• moodlezoup / huffidity-poc
  ☆63Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• ZeframLou / foundry-docgen
  ☆50Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆57Updated last year
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 2 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆57Updated last year
• hrkrshnn / tstore-template
  ☆43Updated last year
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆53Updated 6 months ago
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated last week
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated last year
• nascentxyz / How-to-Foundry
  ☆81Updated 2 years ago
• timurguvenkaya / foundry-multichain
  Foundry multichain solidity deployment script
  ☆44Updated last year
• ControlCplusControlV / Foundry-Yulp
  ☆75Updated 2 years ago
• ControlCplusControlV / Yul-Optimization-Tips
  ☆50Updated 2 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 2 years ago
• timeless-fi / uniswap-poor-oracle
  Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain
  ☆51Updated last year
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆54Updated 2 years ago
• storming0x / foundry_strategy_mix
  Yearn Strategy Mix Using Foundry Framework
  ☆104Updated last year
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated 5 months ago
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• MrToph / goostew
  ☆49Updated 2 years ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• partylikeits1983 / num-complex-solidity
  Complex numbers for Solidity
  ☆53Updated last year
• jtriley2p / ERC-6909
  ☆59Updated last year
• threesigmaxyz / publications
  Publications from Three Sigma.
  ☆51Updated this week
• ControlCplusControlV / Yul-Log
  A Unified Yul+ Toolchain
  ☆44Updated 2 years ago
• Philogy / transient-goodies
  ☆44Updated 3 months ago