Certora / Examples
An index repository with submodules for different examples of Certora projects
☆141Updated last 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.☆131Updated this week
- MetaMorpho☆111Updated last month
- The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.☆128Updated last month
- ☆126Updated this week
- Build lending vaults which connect through Ethereum Vault Connector☆131Updated 2 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆66Updated 3 weeks ago
- Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation☆128Updated 6 months ago
- Carbon is a fully decentralized protocol for automating on-chain trading strategies.☆118Updated 3 weeks ago
- ☆85Updated this week
- ☆126Updated 6 months ago
- ☆107Updated 2 weeks ago
- MESC is a specification for how crypto tools configure their RPC endpoints☆174Updated 7 months ago
- ☆53Updated 2 months ago
- Create Yearn V3 "Tokenized Strategies" using Foundry☆67Updated last month
- Database of public audits made by ABDK Consulting☆78Updated last week
- Core contracts of Morpho Optimizers.☆138Updated 2 months ago
- Periphery contracts for use with the Euler Vault Kit (EVK)☆56Updated this week
- Reference implementation for ERC-7579☆107Updated 2 months ago
- ☆58Updated last month
- ☆61Updated last year
- ERC4626 Property Tests☆178Updated 3 months ago
- ☆78Updated last month
- This project demonstrates a couple of basic Chainlink CCIP use cases☆86Updated 3 months ago
- The YieldNest On-Chain Protocol☆68Updated 2 weeks ago
- Zero-to-One Solidity with Simplicity-first.☆168Updated last month
- ☆17Updated last year
- Helper smart contract to make easier and safer usage of the `CREATE2` EVM opcode.☆292Updated last week
- Core contracts of Morpho Optimizers on AaveV3☆40Updated last month
- A composable EVM-native decentralized exchange protocol.☆57Updated 6 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year