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

• 0xsomnus / secure-smart-contract-design-principles
  Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
  ☆55Updated 3 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆61Updated 4 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 3 years ago
• emilianobonassi / security-toolkit
  A collection of smart contracts for implementing security controls and guardrails. Useful for OpSec and educational purposes.
  ☆52Updated 3 years ago
• odyslam / bash-utils
  A collection of useful bash scripts for ChainOps and more
  ☆84Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 3 years ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆112Updated last year
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 3 years ago
• euler-xyz / euler-oracle-tools
  ☆34Updated 2 years ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 3 years ago
• hacxyk / hacxyk-lab
  Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork
  ☆68Updated 3 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆57Updated 2 years ago
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 3 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• d1ll0n / abi-lity
  Solidity codegen tool for efficient ABI encoding/decoding.
  ☆94Updated last year
• partylikeits1983 / num-complex-solidity
  Complex numbers for Solidity
  ☆55Updated last year
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆63Updated 2 years ago
• storming0x / foundry_strategy_mix
  Yearn Strategy Mix Using Foundry Framework
  ☆105Updated 2 years ago
• plotchy / defi-detective
  Analyze new defi projects autonomously
  ☆69Updated 2 years ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 3 years ago
• ZeroEkkusu / re-golf-course
  A list of common Solidity optimization tips and myths.
  ☆84Updated 3 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 3 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 3 years ago
• NaniDAO / ie
  intents engine
  ☆61Updated 11 months ago
• nascentxyz / How-to-Foundry
  ☆81Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• devtooligan / solpretty
  A library for pretty printing numbers in Solidity
  ☆75Updated last year
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• storming0x / ethlift-rs
  CLI tools intended to be use by smart contract developers for general tasks
  ☆67Updated 2 years ago