Alternatives and similar repositories for enso-audits

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

• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Updated 2 years ago
• Certora / uniswap-v4-periphery-cantina-fv
  ☆12Updated last year
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆79Updated 2 years ago
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆144Updated 2 years ago
• jtriley2p / smart-types
  ☆69Updated 2 years ago
• spearbit-audits / audit-template
  ☆35Updated 2 years ago
• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• PraneshASP / vscode-solidity-inspector
  A VSCode extension offering utilities for solidity smart-contract development.
  ☆134Updated 6 months ago
• devtooligan / etherrealms-player-class-guide
  ☆63Updated 2 years ago
• Vectorized / soledge
  Solidity snippets too edgy to be in Solady
  ☆117Updated last year
• defi-wonderland / handbook
  This handbook is our living repository: a curated guide to our best practices, processes, and technical insights.
  ☆68Updated this week
• ind-igo / forge-safe
  ☆129Updated 11 months ago
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated 2 years ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• ScopeLift / foundry-template
  An opinionated template for Foundry projects.
  ☆78Updated 2 months ago
• crisgarner / ForgeSnippets
  Forge Snippets for VS Code
  ☆64Updated 2 years ago
• yieldprotocol / mentorship2022
  Exercises for the Yield 2022 Mentorship progam
  ☆61Updated 3 years ago
• 0xkarmacoma / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆63Updated 4 months ago
• 0xClandestine / solplot
  A Foundry plugin that enables you to plot charts within solidity.
  ☆158Updated 2 years ago
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆140Updated last month
• JetJadeja / generalized-lending-protocol
  A modern, simple, optimized lending market written in Solidity
  ☆93Updated 3 years ago
• 0xJCN / Ethernaut-CTF
  Ethernaut CTF solutions with Ape, Vyper, & Huff
  ☆36Updated 2 years ago
• evmcheb / solarray
  A blazing-fast helper library for convenient Solidity dynamic arrays
  ☆125Updated 2 years ago
• maple-labs / maple-core-v2
  ☆161Updated 2 months ago
• FydeTreasury / Diamond-Foundry
  Foundry version of Diamond Pattern (EIP-2535) reference implementation
  ☆82Updated 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 5 months ago
• HrikB / createXcrunch
  ☆91Updated last year
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated 2 years ago
• exp-table / hyena
  Pack data tightly together and save space.
  ☆71Updated 2 years ago
• ZeframLou / foundry-canary
  Minimal repo for Foundry examples and reproducing bugs in Foundry
  ☆47Updated 3 years ago