Alternatives and similar repositories for audits

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

• 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
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆42Updated 3 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 3 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years 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
• odyslam / bash-utils
  A collection of useful bash scripts for ChainOps and more
  ☆84Updated 3 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆81Updated 3 years ago
• ControlCplusControlV / Yul-Optimization-Tips
  ☆52Updated 3 years ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆82Updated last year
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆63Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• JetJadeja / flashloan-workshop
  Contracts for my flashloan workshop/lecture at UPenn
  ☆77Updated 3 years ago
• 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 7 months ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 3 years ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆70Updated last year
• beskay / solidity-challenges
  Solidity challenges for EthernautDAO
  ☆43Updated 2 years ago
• crytic / roundme
  ☆95Updated last year
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• nascentxyz / How-to-Foundry
  ☆81Updated 2 years ago
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆84Updated 2 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• jtriley2p / mutexer
  ☆58Updated last year
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆78Updated 2 years ago
• hrkrshnn / tstore-template
  ☆42Updated 2 years ago
• jtriley2p / counter-exploit-toolkit
  ☆107Updated last year
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆112Updated last year
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 3 years ago
• ZeframLou / foundry-docgen
  ☆50Updated 3 years ago