Alternatives and similar repositories for 2023-04-footium-judging

Users that are interested in 2023-04-footium-judging are comparing it to the libraries listed below

• code-423n4 / 2023-07-basin
  ☆10Updated 2 years ago
• code-423n4 / 2022-05-velodrome
  ☆16Updated 2 years ago
• sherlock-audit / 2023-03-notional-judging
  ☆12Updated 2 years ago
• morpho-org / morpho-aavev3-optimizer
  Core contracts of Morpho Optimizers on AaveV3
  ☆42Updated last month
• sherlock-audit / 2023-05-perennial-judging
  ☆12Updated 2 years ago
• ajna-finance / audits
  Audits of Ajna protocol
  ☆19Updated last year
• code-423n4 / 2023-01-astaria
  ☆14Updated 2 years ago
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆140Updated last month
• code-423n4 / 2023-06-lybra
  ☆10Updated 2 years ago
• 0xJuancito / damn-vulnerable-defi-solutions
  Solutions to the Damn Vulnerable DeFi challenges ⛳️
  ☆44Updated 2 years ago
• GenerationSoftware / pt-v5-draw-auction
  ☆13Updated last year
• code-423n4 / 2023-02-ethos
  ☆16Updated 2 years ago
• aave-dao / aave-governance-v3
  Aave Governance V3
  ☆31Updated 2 weeks ago
• a16z / erc4626-tests
  ERC4626 Property Tests
  ☆196Updated 6 months ago
• maple-labs / maple-core-v2
  ☆161Updated 2 months ago
• grappafinance / full-collat-engine
  fully collateral engine
  ☆14Updated 2 years ago
• code-423n4 / 2024-01-salty
  ☆14Updated last year
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆144Updated 10 months ago
• lidofinance / diffyscan
  Diff your Github against Etherscan.
  ☆140Updated this week
• silo-finance / silo-core-v1
  ☆46Updated last year
• nomad-xyz / ExcessivelySafeCall
  excessively safe solidity calls
  ☆242Updated 2 years ago
• euler-xyz / euler-price-oracle
  Euler Price Oracles, a library of immutable oracle adapters and components
  ☆81Updated 3 months ago
• code-423n4 / 2023-05-maia
  ☆16Updated 2 years ago
• GenerationSoftware / pt-v5-prize-pool
  ☆55Updated 11 months ago
• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• Certora / Examples
  An index repository with submodules for different examples of Certora projects
  ☆190Updated last week
• maurelian / solidity-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆152Updated 2 years ago
• defi-wonderland / xERC20
  ☆62Updated 9 months ago
• Gearbox-protocol / core-v2
  ☆68Updated last year