Certora / ExamplesLinks
An index repository with submodules for different examples of Certora projects
☆154Updated last 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.☆139Updated this week
- MetaMorpho☆113Updated 2 months ago
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆133Updated last week
- ☆130Updated last month
- Build lending vaults which connect through Ethereum Vault Connector☆141Updated 2 weeks ago
- ☆130Updated 7 months ago
- Database of public audits made by ABDK Consulting☆83Updated last month
- ☆117Updated last week
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆129Updated 7 months ago
- Reference implementation for ERC-7579☆109Updated 3 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆66Updated 2 months ago
- MESC is a specification for how crypto tools configure their RPC endpoints☆175Updated 9 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆119Updated last month
- ☆53Updated 4 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- Create Yearn V3 "Tokenized Strategies" using Foundry☆68Updated last week
- ERC4626 Property Tests☆179Updated 4 months ago
- ☆79Updated 2 weeks ago
- Core contracts of Morpho Optimizers.☆138Updated 3 months ago
- Zero-to-One Solidity with Simplicity-first.☆172Updated 2 months ago
- ☆61Updated 2 weeks ago
- ☆45Updated 8 months ago
- Smart Contract Property-Based Testing Framework☆115Updated 3 months ago
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆152Updated this week
- Diff EVM-compatible chains in a friendly format☆285Updated 4 months ago
- ☆89Updated this week
- Periphery contracts for use with the Euler Vault Kit (EVK)☆65Updated this week
- 🧩 Kwenta's proprietary margin engine for interacting with and trading on-chain derivatives☆66Updated 8 months ago
- Diff your Github against Etherscan.☆139Updated last week
- Public reports of performed audits☆98Updated last month