Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆149Updated last week
Alternatives and similar repositories for Examples
Users that are interested in Examples are comparing it to the libraries listed below
Sorting:
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆138Updated 3 weeks ago
- ☆129Updated last month
- MetaMorpho☆113Updated 2 months ago
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆132Updated 2 months ago
- Build lending vaults which connect through Ethereum Vault Connector☆138Updated 3 months ago
- ☆116Updated last week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆128Updated 7 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆66Updated last month
- Periphery contracts for use with the Euler Vault Kit (EVK)☆63Updated this week
- ☆45Updated 7 months ago
- ☆128Updated 7 months ago
- Reference implementation for ERC-7579☆109Updated 2 months ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆68Updated this week
- MESC is a specification for how crypto tools configure their RPC endpoints☆175Updated 8 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆118Updated 3 weeks ago
- ☆32Updated 4 months ago
- ☆53Updated 3 months ago
- Database of public audits made by ABDK Consulting☆79Updated last month
- ☆16Updated last year
- ☆61Updated last year
- Max Yield Vaults: ETH, BTC, USD, BNB☆75Updated last week
- ☆87Updated this week
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- ☆64Updated last week
- ☆58Updated 2 months ago
- Morpho Blue Oracles☆75Updated last month
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆152Updated this week
- ☆81Updated 9 months ago
- ERC4626 Property Tests☆180Updated 4 months ago
- 🥨 Contracts for Merkl, Angle Labs incentivization product for concentrated liquidity AMMs☆46Updated 2 weeks ago