Certora / Examples
An index repository with submodules for different examples of Certora projects
☆110Updated 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.☆112Updated 2 months ago
- Build lending vaults which connect through Ethereum Vault Connector☆110Updated this week
- MetaMorpho☆82Updated this week
- ☆55Updated 6 months ago
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆120Updated this week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆123Updated 3 months ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆65Updated 3 months ago
- ☆62Updated 10 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆60Updated last week
- ☆115Updated this week
- ☆62Updated last month
- ☆89Updated this week
- ☆56Updated last month
- ☆56Updated this week
- ☆45Updated 3 months ago
- ☆44Updated 9 months ago
- ☆31Updated last month
- Reference implementation for ERC-7579☆90Updated last month
- Core contracts of Morpho Optimizers.☆137Updated last month
- ☆118Updated 3 months ago
- 🧩 Kwenta's proprietary margin engine for interacting with and trading on-chain derivatives☆66Updated 4 months ago
- Cellar Contracts for Sommelier☆84Updated 2 months ago
- ☆39Updated last week
- Decentralized exchange with concentrated liquidity and low gas fees☆77Updated this week
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated last year
- Zero-fuss smart contracts☆143Updated 6 months ago
- MESC is a specification for how crypto tools configure their RPC endpoints☆173Updated 4 months ago
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆149Updated this week
- A composable EVM-native decentralized exchange protocol.☆57Updated 3 months ago
- exactly is a decentralized, non-custodial and autonomous marketplace for depositing and borrowing crypto assets at a variable or fixed in…☆74Updated this week