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 last year
• code-423n4 / 2023-05-maia
  ☆16Updated last year
• electisec / fellowship-audits
  ☆55Updated 3 months ago
• devtooligan / etherrealms-player-class-guide
  ☆61Updated 2 years ago
• MiloTruck / regast
  A static analyzer for Solidity, built upon regex and ASTs.
  ☆26Updated last year
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated 2 years ago
• code-423n4 / 2023-07-basin
  ☆10Updated 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
• 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
• secureum / RACE
  Readiness Assessment for CARE Endeavour
  ☆57Updated last year
• code-423n4 / 2022-07-golom
  ☆10Updated 2 years ago
• electisec / reports
  Content for Electisec Reports Site
  ☆28Updated this week
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆84Updated 2 years ago
• spearbit-audits / report-generator-template
  A markdown based template for writing spearbit reports
  ☆35Updated last year
• EnsoBuild / enso-audits
  ☆13Updated 3 months ago
• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• 0xkarmacoma / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆63Updated 2 months ago
• spearbit-audits / audit-template
  ☆35Updated 2 years ago
• ProjectOpenSea / seaport-core
  Core Seaport smart contracts
  ☆50Updated last year
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆139Updated 8 months ago
• romeroadrian / audits
  A collection of my personal security audits
  ☆68Updated 3 months ago
• 0xdeadbeef0x / APG
  APG (Auditor Profile Generator)
  ☆35Updated last year
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆112Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Updated 2 years ago
• lidofinance / diffyscan
  Diff your Github against Etherscan.
  ☆140Updated last week
• defi-wonderland / natspec-smells
  👃Automatically identify missing or incomplete natspec
  ☆92Updated 4 months ago
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• maurelian / solidity-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆151Updated last year
• 0xcuriousapple / curiousapple-audits
  box of chocolates
  ☆23Updated 3 months ago