Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆164Updated 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.☆141Updated last week
- ☆133Updated this week
- MetaMorpho☆123Updated last week
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆135Updated 2 months ago
- Build lending vaults which connect through Ethereum Vault Connector☆150Updated 2 months ago
- ☆118Updated this week
- ☆66Updated last month
- Periphery contracts for use with the Euler Vault Kit (EVK)☆68Updated this week
- ☆132Updated 9 months ago
- ☆94Updated this week
- ☆54Updated 6 months ago
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆128Updated 9 months ago
- System and developer documentation for Synthetix☆65Updated 5 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆119Updated last week
- The smart contracts of the Inverter Network☆110Updated this week
- Max Yield Vaults: ETH, BTC, USD, BNB☆92Updated this week
- ether.fi protocol smart contracts☆96Updated this week
- ☆32Updated 7 months ago
- The YieldNest On-Chain Protocol☆82Updated last month
- Create Yearn V3 "Tokenized Strategies" using Foundry☆69Updated 2 months ago
- ☆63Updated 2 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆72Updated 4 months ago
- Morpho Blue Oracles☆75Updated 4 months ago
- ☆66Updated 3 weeks ago
- Correlated-assets price oracle☆37Updated last week
- Database of public audits made by ABDK Consulting☆82Updated last week
- Core library for DeFi.☆30Updated 2 weeks ago
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆64Updated 2 months ago
- Onchain components for the Spark Liquidity Layer.☆60Updated this week
- 0x settlement contracts using Permit2☆70Updated this week