Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆155Updated 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.☆140Updated 3 weeks ago
- MetaMorpho☆114Updated last week
- ☆130Updated last week
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆134Updated last month
- Build lending vaults which connect through Ethereum Vault Connector☆144Updated last month
- ☆116Updated 3 weeks ago
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆129Updated 8 months ago
- ☆134Updated 8 months ago
- ☆53Updated 4 months ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆68Updated 3 weeks ago
- Periphery contracts for use with the Euler Vault Kit (EVK)☆66Updated this week
- The smart contracts of the Inverter Network☆100Updated this week
- ☆66Updated last week
- Euler Price Oracles, a library of immutable oracle adapters and components☆68Updated 3 months ago
- ☆32Updated 6 months ago
- Morpho Blue Oracles☆77Updated 3 months ago
- Max Yield Vaults: ETH, BTC, USD, BNB☆79Updated this week
- ☆61Updated last month
- Cellar Contracts for Sommelier☆83Updated 7 months ago
- ether.fi protocol smart contracts☆93Updated last week
- System and developer documentation for Synthetix☆61Updated 3 months ago
- ☆65Updated 2 months ago
- Reference implementation for ERC-7579☆111Updated 4 months ago
- ☆56Updated 3 months ago
- Database of public audits made by ABDK Consulting☆83Updated 2 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆120Updated last week
- The YieldNest On-Chain Protocol☆84Updated last month
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆63Updated last month
- A composable EVM-native decentralized exchange protocol.☆57Updated 8 months ago
- ☆91Updated this week