Certora / Examples
An index repository with submodules for different examples of Certora projects
☆132Updated this week
Alternatives and similar repositories for Examples:
Users that are interested in Examples are comparing it to the libraries listed below
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆121Updated this week
- Build lending vaults which connect through Ethereum Vault Connector☆130Updated last month
- MetaMorpho☆106Updated last week
- Euler Price Oracles, a library of immutable oracle adapters and components☆64Updated last week
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆127Updated last month
- ☆122Updated this week
- ☆104Updated last month
- Reference implementation for ERC-7579☆98Updated last month
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆126Updated 5 months ago
- ☆53Updated last month
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆118Updated this week
- ☆124Updated 5 months ago
- Periphery contracts for use with the Euler Vault Kit (EVK)☆53Updated this week
- ☆55Updated last week
- Core contracts of Morpho Optimizers.☆138Updated last month
- The YieldNest On-Chain Protocol☆65Updated this week
- ☆17Updated last year
- Decentralized exchange with concentrated liquidity and low gas fees☆78Updated 3 weeks ago
- ☆58Updated last week
- ☆31Updated 3 months ago
- Database of public audits made by ABDK Consulting☆71Updated this week
- ☆61Updated last year
- Create Yearn V3 "Tokenized Strategies" using Foundry☆66Updated 3 weeks ago
- Zero-to-One Solidity with Simplicity-first.☆167Updated last week
- ☆83Updated this week
- 📖 A curated list of resources dedicated to Modular Smart Accounts☆73Updated 7 months ago
- ☆51Updated this week
- Diff your Github against Etherscan.☆137Updated 2 weeks ago
- ☆77Updated 2 weeks ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year