Alternatives and similar repositories for v2-core-audit-2023-07-14

Users that are interested in v2-core-audit-2023-07-14 are comparing it to the libraries listed below

• alexzoid-eth / 2023-10-badger-fv
  Badger eBTC x Certora Formal Verification Competition (Nov 2023, 🥈#2 place) + writeup
  ☆8Updated 3 months ago
• sherlock-audit / 2023-10-real-wagmi
  ☆6Updated last year
• sablier-labs / lockup-integration-template
  Sablier Lockup integration template
  ☆14Updated 5 months ago
• code-423n4 / 2023-10-brahma
  ☆11Updated last year
• code-423n4 / 2023-08-goodentry
  ☆11Updated last year
• defi-wonderland / xkeeper-core
  ☆12Updated last year
• edgelessNetwork / contracts
  ☆10Updated last year
• yearn / Yearn-ERC4626-Router
  ERC4626 Router for Yearn V3 vaults.
  ☆10Updated last year
• jbx-protocol / juice-buyback
  Delegate which will always take the most advantageous path for users between minting and swapping token project when triggering pay()
  ☆10Updated last year
• Storm-Labs-Inc / cove-contracts-boosties
  Core smart contracts of the Cove Protocol
  ☆17Updated 3 weeks ago
• sherlock-audit / 2023-06-arrakis
  ☆8Updated 2 years ago
• AngleProtocol / safe-multisig
  Utils to publish transaction create via Foundry on Gnosis Safe
  ☆14Updated last year
• MiloTruck / solmate-invariants
  Fuzzing solmate with medusa
  ☆10Updated last year
• AmphorProtocol / asynchronous-vault
  ☆18Updated last year
• Zivoe / zivoe-core-foundry
  Zivoe is a real-world asset (RWA) credit protocol that provides anyone who qualifies tokenized exposure to $1.5+ trillion US consumer cre…
  ☆20Updated last month
• superform-xyz / ERC1155A
  ERC1155 extension for approvals and ERC20 conversions
  ☆12Updated last year
• xendfinance / x-vault
  The Xend Vault aggregates multiple lending protocols and leverages different yield generation strategies automatically based on strategis…
  ☆14Updated last year
• soltheon / packed_arrays
  Pack address types to utilize 100% of storage space in Solidity
  ☆11Updated last year
• GenerationSoftware / pt-v5-claimer
  ☆23Updated 6 months ago
• code-423n4 / 2022-11-stakehouse
  ☆10Updated last year
• mdulin2 / sushi_swap_expliot_2023
  ☆10Updated 2 years ago
• 0xRajkumar / lendnow
  ☆9Updated 2 years ago
• re-nft / _v3_.smart-contracts
  Generalised collateral-free and permissionless rentals built on top of Gnosis Safe and Seaport.
  ☆19Updated last year
• GenerationSoftware / pt-v5-twab-controller
  ☆16Updated 5 months ago
• Cyfrin / 7-boss-bridge-audit
  ☆25Updated 9 months ago
• Blueberryfi / blueberry-staking
  Development directory of the core bdBLB vesting and lockdrop mechanics
  ☆10Updated last year
• morpho-org / morpho-certora-tutorials
  ☆10Updated 2 years ago
• ipatka / w3sa-public
  ☆9Updated last year
• polytrade-finance / dual-layer-token
  DLT standard
  ☆10Updated last year
• dahlia-labs / crawler
  🦋 A tool for arbitraging between Numo and Uniswap liquidity pools.
  ☆7Updated 11 months ago