Certora / Examples
An index repository with submodules for different examples of Certora projects
☆123Updated last week
Alternatives and similar repositories for Examples:
Users that are interested in Examples are comparing it to the libraries listed below
- MetaMorpho☆103Updated 3 weeks ago
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆112Updated 3 months ago
- Build lending vaults which connect through Ethereum Vault Connector☆123Updated 2 weeks ago
- ☆117Updated this week
- ☆103Updated last week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆125Updated 4 months ago
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆126Updated last week
- Create Yearn V3 "Tokenized Strategies" using Foundry☆66Updated last week
- Euler Price Oracles, a library of immutable oracle adapters and components☆61Updated last week
- ☆45Updated 5 months ago
- ☆54Updated last month
- ☆31Updated 2 months ago
- ☆62Updated 11 months ago
- Reference implementation for ERC-7579☆92Updated 2 weeks ago
- ☆121Updated 4 months ago
- ☆56Updated this week
- Core contracts of Morpho Optimizers.☆138Updated 2 weeks ago
- Periphery contracts for use with the Euler Vault Kit (EVK)☆51Updated this week
- ☆17Updated last year
- ☆54Updated this week
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- ☆80Updated last week
- ☆63Updated 2 months ago
- 📖 A curated list of resources dedicated to Modular Smart Accounts☆72Updated 7 months ago
- ☆77Updated last month
- Decentralized exchange with concentrated liquidity and low gas fees☆78Updated last month
- MESC is a specification for how crypto tools configure their RPC endpoints☆174Updated 6 months ago
- A composable EVM-native decentralized exchange protocol.☆57Updated 5 months ago
- Zero-to-One Solidity with Simplicity-first.☆161Updated this week
- ERC4626 Property Tests☆178Updated last month