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

• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 3 years ago
• odyslam / bash-utils
  A collection of useful bash scripts for ChainOps and more
  ☆84Updated 2 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 2 years ago
• MrToph / goostew
  ☆49Updated 2 years ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• hrkrshnn / tstore-template
  ☆43Updated last year
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 3 years ago
• ControlCplusControlV / Yul-Optimization-Tips
  ☆52Updated 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 2 years ago
• 0xsomnus / secure-smart-contract-design-principles
  Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
  ☆55Updated 3 years ago
• ZeframLou / foundry-docgen
  ☆50Updated 3 years ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆57Updated 10 months ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• jtriley2p / ERC-6909
  ☆59Updated last year
• noxx3xxon / evm-by-example
  ☆76Updated 3 years ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆57Updated 2 years ago
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated 3 months ago
• hrkrshnn / notes
  ☆51Updated last year
• ZeroEkkusu / re-golf-course
  A list of common Solidity optimization tips and myths.
  ☆85Updated 3 years ago
• jtriley2p / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆30Updated last year
• Philogy / safeconsole
  ☆50Updated 2 years ago
• partylikeits1983 / num-complex-solidity
  Complex numbers for Solidity
  ☆53Updated last year
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• devtooligan / cloudhunter
  ☆58Updated 2 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 10 months ago
• counterdao / dss
  Decentralized Summation System
  ☆46Updated 2 years ago
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago