Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆182Updated this week
Alternatives and similar repositories for Examples
Users that are interested in Examples are comparing it to the libraries listed below
Sorting:
- ☆145Updated 2 months ago
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆154Updated 2 months ago
- MetaMorpho☆146Updated 3 weeks ago
- Build lending vaults which connect through Ethereum Vault Connector☆165Updated last month
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆142Updated 5 months ago
- Periphery contracts for use with the Euler Vault Kit (EVK)☆80Updated this week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆133Updated last year
- Max Yield Vaults: ETH, BTC, USD, BNB☆113Updated last month
- ☆75Updated 5 months ago
- ☆135Updated 2 weeks ago
- ☆142Updated last year
- The smart contracts of the Inverter Network☆120Updated last month
- ☆54Updated 9 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆123Updated last week
- The YieldNest On-Chain Protocol☆92Updated 2 weeks ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆72Updated last week
- ☆116Updated this week
- ☆31Updated 10 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆80Updated last month
- Cellar Contracts for Sommelier☆84Updated last year
- Morpho Blue Oracles☆89Updated last month
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆67Updated 6 months ago
- ☆69Updated 4 months ago
- Database of public audits made by ABDK Consulting☆92Updated 2 weeks ago
- ether.fi protocol smart contracts☆110Updated this week
- ☆63Updated 6 months ago
- System and developer documentation for Synthetix☆76Updated 8 months ago
- Correlated-assets price oracle☆48Updated 2 weeks ago
- ☆60Updated 8 months ago
- Aura Finance contracts☆81Updated this week