Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆190Updated this 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.☆166Updated last month
- ☆144Updated 4 months ago
- MetaMorpho☆162Updated this week
- Build lending vaults which connect through Ethereum Vault Connector☆181Updated 2 weeks ago
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆148Updated 2 weeks ago
- ☆144Updated 3 weeks ago
- Periphery contracts for use with the Euler Vault Kit (EVK)☆88Updated last week
- Max Yield Vaults: ETH, BTC, USD, BNB☆129Updated this week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆144Updated last year
- ☆153Updated last year
- ☆78Updated 7 months ago
- ether.fi protocol smart contracts☆121Updated last week
- ☆55Updated 11 months ago
- The YieldNest On-Chain Protocol☆103Updated 3 weeks ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆125Updated last week
- The smart contracts of the Inverter Network☆123Updated 3 months ago
- ☆69Updated 6 months ago
- ☆33Updated last month
- Database of public audits made by ABDK Consulting☆105Updated last week
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆71Updated 8 months ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆74Updated 3 weeks ago
- Morpho Blue Oracles☆95Updated last month
- System and developer documentation for Synthetix☆79Updated 10 months ago
- ☆63Updated 8 months ago
- ☆126Updated last week
- Correlated-assets price oracle☆50Updated last week
- Cellar Contracts for Sommelier☆84Updated last year
- Euler Price Oracles, a library of immutable oracle adapters and components☆82Updated last week
- Morpho Blue Interest Rate Models☆38Updated 3 weeks ago
- ☆75Updated 7 months ago