Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆161Updated 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 last month
- ☆129Updated this week
- MetaMorpho☆119Updated last week
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆135Updated last month
- Build lending vaults which connect through Ethereum Vault Connector☆149Updated last month
- ☆115Updated last month
- Periphery contracts for use with the Euler Vault Kit (EVK)☆68Updated this week
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆120Updated this week
- ☆135Updated 9 months ago
- ☆33Updated 6 months ago
- Max Yield Vaults: ETH, BTC, USD, BNB☆88Updated this week
- System and developer documentation for Synthetix☆65Updated 4 months ago
- ☆53Updated 5 months ago
- ☆67Updated 3 weeks ago
- The smart contracts of the Inverter Network☆105Updated this week
- Reference implementation for ERC-7579☆116Updated 5 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆70Updated 3 months ago
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆128Updated 9 months ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆69Updated last month
- The YieldNest On-Chain Protocol☆84Updated 3 weeks ago
- ether.fi protocol smart contracts☆94Updated this week
- Morpho Blue Oracles☆77Updated 3 months ago
- ☆63Updated 2 months ago
- Database of public audits made by ABDK Consulting☆83Updated last week
- Temple Monorepo☆60Updated this week
- ☆65Updated last week
- ☆95Updated this week
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆64Updated 2 months ago
- Push Core and Communicator Smart Contracts☆56Updated last month
- ☆58Updated 4 months ago