Alternatives and similar repositories for audits

Users that are interested in audits are comparing it to the libraries listed below

• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆63Updated 2 years ago
• ControlCplusControlV / Yul-Optimization-Tips
  ☆52Updated 3 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 3 years ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 3 years ago
• Rubilmax / foundry-storage-check
  🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…
  ☆96Updated 4 months ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 3 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 3 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• nascentxyz / How-to-Foundry
  ☆81Updated 2 years ago
• jtriley2p / mutexer
  ☆58Updated last year
• 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
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• odyslam / bash-utils
  A collection of useful bash scripts for ChainOps and more
  ☆84Updated 2 years ago
• beskay / solidity-challenges
  Solidity challenges for EthernautDAO
  ☆43Updated 2 years ago
• 0xkarmacoma / solidity-one-liners
  Poor man's Solidity REPL
  ☆61Updated 2 years ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆67Updated last year
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆57Updated 11 months ago
• JetJadeja / flashloan-workshop
  Contracts for my flashloan workshop/lecture at UPenn
  ☆77Updated 2 years ago
• jtriley2p / counter-exploit-toolkit
  ☆107Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• clabby / echidna-vs-forge
  Testing echidna vs. forge fuzzing
  ☆76Updated 2 years ago
• ScopeLift / foundry-template
  An opinionated template for Foundry projects.
  ☆77Updated 2 weeks ago
• tinchoabbate / eth-sec-lab
  A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.
  ☆40Updated 2 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 11 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• crytic / roundme
  ☆93Updated last year
• spearbit-audits / report-template
  A markdown based template for writing spearbit reports
  ☆68Updated 3 years ago