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
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• zeroknots / boilerplate.sol
  ☆15Updated 2 years ago
• spearbit-audits / report-template
  A markdown based template for writing spearbit reports
  ☆68Updated 3 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 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
  ☆60Updated 4 years ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 3 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• ConsenSysDiligence / napalm
  ☆46Updated last year
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆111Updated last year
• jtriley2p / counter-exploit-toolkit
  ☆107Updated last year
• hananbeer / zerem
  Defi Circuit Breaker
  ☆101Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 3 years ago
• plotchy / defi-detective
  Analyze new defi projects autonomously
  ☆69Updated 2 years ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 3 years ago
• electisec / fellowship-audits
  ☆55Updated last month
• emilianobonassi / security-toolkit
  A collection of smart contracts for implementing security controls and guardrails. Useful for OpSec and educational purposes.
  ☆52Updated 3 years ago
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated 6 months ago
• odyslam / bash-utils
  A collection of useful bash scripts for ChainOps and more
  ☆84Updated 2 years ago
• ZeroEkkusu / re-golf-course
  A list of common Solidity optimization tips and myths.
  ☆84Updated 3 years ago
• timurguvenkaya / foundry-multichain
  Foundry multichain solidity deployment script
  ☆43Updated 2 years ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• partylikeits1983 / num-complex-solidity
  Complex numbers for Solidity
  ☆53Updated last year
• spearbit-audits / writing-exercise
  ☆102Updated 3 years ago
• max-taylor / Chisel-GPT
  AI-Boosted Solidity REPL
  ☆109Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆77Updated 3 years ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 3 years ago