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

• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 2 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 2 years ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated last year
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated this week
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 2 years ago
• odyslam / bash-utils
  A collection of useful bash scripts for ChainOps and more
  ☆84Updated 2 years ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated last year
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 2 years ago
• partylikeits1983 / num-complex-solidity
  Complex numbers for Solidity
  ☆53Updated last year
• exp-table / hyena
  Pack data tightly together and save space.
  ☆71Updated 2 years ago
• ControlCplusControlV / Yul-Optimization-Tips
  ☆50Updated 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
  ☆50Updated last year
• timurguvenkaya / foundry-multichain
  Foundry multichain solidity deployment script
  ☆44Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 7 months ago
• jtriley2p / ERC-6909
  ☆59Updated last year
• devtooligan / cloudhunter
  ☆58Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 2 years ago
• 0xkarmacoma / galaxy-brain-reentrancy-guard
  Secure by design reentrancy guards
  ☆55Updated last year
• hrkrshnn / tstore-template
  ☆43Updated last year
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 2 years ago
• MrToph / goostew
  ☆49Updated 2 years ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• storming0x / foundry_strategy_mix
  Yearn Strategy Mix Using Foundry Framework
  ☆104Updated last year
• ZeframLou / foundry-canary
  Minimal repo for Foundry examples and reproducing bugs in Foundry
  ☆46Updated 2 years ago
• hrkrshnn / notes
  ☆51Updated last year
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated last year
• 0xsomnus / secure-smart-contract-design-principles
  Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
  ☆55Updated 3 years ago
• joshieDo / foundrydeploy
  ☆58Updated 2 years ago