Alternatives and similar repositories for enso-audits

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

• jtriley2p / smart-types
  ☆69Updated 2 years ago
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆78Updated 2 years ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Updated 2 years ago
• ind-igo / forge-safe
  ☆127Updated 8 months ago
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆145Updated last year
• Vectorized / soledge
  Solidity snippets too edgy to be in Solady
  ☆117Updated last year
• spearbit-audits / audit-template
  ☆35Updated 2 years ago
• 0xkarmacoma / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆63Updated 2 months ago
• devtooligan / etherrealms-player-class-guide
  ☆61Updated 2 years ago
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆84Updated 2 years ago
• Certora / uniswap-v4-periphery-cantina-fv
  ☆12Updated last year
• HrikB / createXcrunch
  ☆88Updated last year
• crisgarner / ForgeSnippets
  Forge Snippets for VS Code
  ☆64Updated last year
• ethereum-optimism / transience
  A Solidity library for transient storage management ✨
  ☆60Updated 9 months ago
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated 2 years ago
• joohhnnn / The-book-of-optimism-fault-proof
  A document designed to explain fault proof from multiple perspectives, aimed at quickly bringing newcomers up to speed on the mechanisms …
  ☆42Updated 2 months ago
• exp-table / hyena
  Pack data tightly together and save space.
  ☆71Updated 2 years ago
• MiloTruck / regast
  A static analyzer for Solidity, built upon regex and ASTs.
  ☆26Updated last year
• aviggiano / coypu
  Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…
  ☆11Updated 2 years ago
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆69Updated 2 years ago
• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated 2 years ago
• PraneshASP / vscode-solidity-inspector
  A VSCode extension offering utilities for solidity smart-contract development.
  ☆133Updated 3 months ago
• g-01234 / deprecated-scope
  ☆47Updated 11 months ago
• defi-wonderland / natspec-smells
  👃Automatically identify missing or incomplete natspec
  ☆92Updated 4 months ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• jtriley2p / ERC-6909
  ☆59Updated last year
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• gooberxyz / goobervault
  An ERC-4626 style vault with Uni-V2 NFT<>ERC-20 bonding and VRGDA balancing
  ☆78Updated 2 years ago