Alternatives and similar repositories for 2023-06-lybra

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

• code-423n4 / 2023-06-llama
  ☆12Updated last year
• ajna-finance / audits
  Audits of Ajna protocol
  ☆18Updated last year
• maple-labs / maple-core-v2
  ☆160Updated last week
• devtooligan / etherrealms-player-class-guide
  ☆61Updated last year
• code-423n4 / 2023-07-basin
  ☆10Updated last year
• a16z / erc4626-tests
  ERC4626 Property Tests
  ☆186Updated 2 months ago
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆139Updated 7 months ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• lucas-manuel / invariant-examples
  ☆165Updated 2 years ago
• 0xJuancito / damn-vulnerable-defi-solutions
  Solutions to the Damn Vulnerable DeFi challenges ⛳️
  ☆44Updated 2 years ago
• code-423n4 / 2023-05-maia
  ☆16Updated last year
• code-423n4 / 2023-02-ethos
  ☆16Updated last year
• morpho-org / morpho-aavev3-optimizer
  Core contracts of Morpho Optimizers on AaveV3
  ☆41Updated this week
• silo-finance / silo-core-v1
  ☆46Updated 11 months ago
• defi-wonderland / handbook
  This handbook is our living repository: a curated guide to our best practices, processes, and technical insights.
  ☆60Updated this week
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆129Updated 6 months ago
• maurelian / solidity-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆153Updated last year
• HrikB / createXcrunch
  ☆87Updated last year
• PraneshASP / vscode-solidity-inspector
  A VSCode extension offering utilities for solidity smart-contract development.
  ☆133Updated 2 months ago
• sherlock-audit / 2023-04-footium-judging
  ☆12Updated 2 years ago
• huff-language / foundry-huff
  A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
  ☆274Updated last year
• bEsPoKeN-tOkEns / token-tester
  Use cursed ERC20s in foundry unit tests
  ☆144Updated 2 years ago
• z0r0z / zolidity
  Zero-to-One Solidity with Simplicity-first.
  ☆175Updated 6 months ago
• defi-wonderland / natspec-smells
  👃Automatically identify missing or incomplete natspec
  ☆92Updated 3 months ago
• code-423n4 / 2024-01-salty
  ☆14Updated last year
• electisec / fellowship-audits
  ☆55Updated 2 months ago
• sudoswap / lssvm2
  ☆47Updated last year
• JetJadeja / generalized-lending-protocol
  A modern, simple, optimized lending market written in Solidity
  ☆94Updated 2 years ago
• code-423n4 / 2023-09-maia
  ☆13Updated last year
• jeffreyscholz / solidity-zero-finder-rust
  ☆117Updated last year