Alternatives and similar repositories for 2023-06-llama

Users that are interested in 2023-06-llama are comparing it to the libraries listed below

• code-423n4 / 2023-06-lybra
  ☆10Updated 2 years ago
• devtooligan / etherrealms-player-class-guide
  ☆63Updated 2 years ago
• code-423n4 / 2023-05-maia
  ☆16Updated 2 years ago
• 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
• code-423n4 / 2023-07-basin
  ☆10Updated 2 years ago
• yAudit / reports
  Content for yAudit Reports Site
  ☆29Updated 2 weeks ago
• spearbit-audits / audit-template
  ☆35Updated 2 years ago
• code-423n4 / 2022-07-golom
  ☆10Updated 2 years ago
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated 2 years ago
• ProjectOpenSea / seaport-core
  Core Seaport smart contracts
  ☆51Updated last year
• EnsoBuild / enso-audits
  ☆13Updated this week
• yAudit / fellowship-audits
  ☆55Updated 6 months ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Updated 2 years ago
• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• Certora / uniswap-v4-periphery-cantina-fv
  ☆12Updated last year
• ajna-finance / audits
  Audits of Ajna protocol
  ☆19Updated last year
• lidofinance / diffyscan
  Diff your Github against Etherscan.
  ☆140Updated this week
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆48Updated last year
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆113Updated last year
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆140Updated last month
• zaryab2000 / decipher_EVM_Puzzles
  A collection of EVM opcodes puzzles that helps you learn in-depth details about EVM Opcodes by solving them. Featured in Week In Ethereum…
  ☆48Updated 2 years ago
• yieldprotocol / mentorship2022
  Exercises for the Yield 2022 Mentorship progam
  ☆61Updated 3 years ago
• 0xdeadbeef0x / APG
  APG (Auditor Profile Generator)
  ☆35Updated 2 years ago
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆84Updated 2 years ago
• morpho-org / morpho-aavev3-optimizer
  Core contracts of Morpho Optimizers on AaveV3
  ☆42Updated last month
• defi-wonderland / natspec-smells
  👃Automatically identify missing or incomplete natspec
  ☆92Updated 7 months ago
• maple-labs / maple-core-v2
  ☆161Updated 2 months ago
• 0xJuancito / damn-vulnerable-defi-solutions
  Solutions to the Damn Vulnerable DeFi challenges ⛳️
  ☆44Updated 2 years ago