Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆181Updated this week
Alternatives and similar repositories for Examples
Users that are interested in Examples are comparing it to the libraries listed below
Sorting:
- ☆144Updated last month
- MetaMorpho☆138Updated last week
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆152Updated last month
- Build lending vaults which connect through Ethereum Vault Connector☆159Updated 2 weeks ago
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆137Updated 4 months ago
- Periphery contracts for use with the Euler Vault Kit (EVK)☆76Updated this week
- ☆135Updated 11 months ago
- ☆73Updated 3 months ago
- Max Yield Vaults: ETH, BTC, USD, BNB☆107Updated last week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆133Updated 11 months ago
- The smart contracts of the Inverter Network☆120Updated last week
- ☆127Updated last week
- ☆54Updated 8 months ago
- System and developer documentation for Synthetix☆73Updated 7 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆120Updated this week
- ether.fi protocol smart contracts☆101Updated last week
- ☆31Updated 9 months ago
- The YieldNest On-Chain Protocol☆87Updated 2 weeks ago
- Morpho Blue Oracles☆79Updated this week
- Create Yearn V3 "Tokenized Strategies" using Foundry☆70Updated last month
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆65Updated 4 months ago
- ☆68Updated 2 months ago
- ☆105Updated last week
- ☆65Updated 4 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆77Updated 3 weeks ago
- ☆63Updated 4 months ago
- Onchain components for the Spark Liquidity Layer.☆70Updated last week
- Cellar Contracts for Sommelier☆83Updated 11 months ago
- This is the main repository for the Kwenta token and respective system contracts (staking, escrow, distribution, etc..).☆25Updated 11 months ago
- Reference implementation for ERC-7579☆119Updated 7 months ago