Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆167Updated 3 weeks ago
Alternatives and similar repositories for Examples
Users that are interested in Examples are comparing it to the libraries listed below
Sorting:
- ☆135Updated last week
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆145Updated this week
- Build lending vaults which connect through Ethereum Vault Connector☆154Updated 3 months ago
- MetaMorpho☆128Updated last month
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆136Updated 3 months ago
- ☆121Updated this week
- Periphery contracts for use with the Euler Vault Kit (EVK)☆69Updated this week
- ☆134Updated 10 months ago
- The smart contracts of the Inverter Network☆115Updated this week
- The YieldNest On-Chain Protocol☆83Updated 2 months ago
- ☆70Updated 2 months ago
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆129Updated 10 months ago
- ☆95Updated this week
- Max Yield Vaults: ETH, BTC, USD, BNB☆98Updated last week
- Euler Price Oracles, a library of immutable oracle adapters and components☆75Updated 3 weeks ago
- ☆54Updated 6 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆119Updated 2 weeks ago
- System and developer documentation for Synthetix☆66Updated 5 months ago
- Morpho Blue Oracles☆76Updated 5 months ago
- ☆32Updated 8 months ago
- ether.fi protocol smart contracts☆96Updated this week
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆64Updated 3 months ago
- ☆66Updated last month
- Correlated-assets price oracle☆38Updated 2 weeks ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆69Updated 2 months ago
- ☆57Updated 2 months ago
- Onchain components for the Spark Liquidity Layer.☆63Updated last week
- ☆55Updated 5 months ago
- Reference implementation for ERC-7579☆118Updated 6 months ago
- ☆63Updated 3 months ago