Certora / CaptureTheSpecLinks
☆30Updated 11 months ago
Alternatives and similar repositories for CaptureTheSpec
Users that are interested in CaptureTheSpec are comparing it to the libraries listed below
Sorting:
- ☆26Updated 2 years ago
- ☆20Updated 11 months ago
- ☆14Updated last year
- Smart contract audits performed on Sablier by third-party security researchers☆43Updated this week
- Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.☆65Updated 4 months ago
- ☆10Updated last year
- ☆23Updated 4 months ago
- ☆20Updated last year
- ☆24Updated last year
- A tokenized wrapper around the DSR.☆41Updated last year
- ☆35Updated 11 months ago
- ☆18Updated last year
- A composable EVM-native decentralized exchange protocol.☆56Updated last month
- ☆12Updated last year
- ☆28Updated last week
- Abstraction layer for cross-chain communication☆41Updated last month
- ☆13Updated last year
- ☆27Updated 2 weeks ago
- ☆23Updated 11 months ago
- Morpho Blue Interest Rate Models☆34Updated this week
- Spectra core components☆26Updated 6 months ago
- Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.☆152Updated last month
- Cross chain Sky Savings Rate (SSR) Oracle as a public resource.☆36Updated 4 months ago
- ☆28Updated last year
- ☆32Updated last month
- Database of public audits made by ABDK Consulting☆85Updated last week
- Create Yearn V3 "Tokenized Strategies" using Foundry☆70Updated last month
- ☆22Updated last year
- A universal rewards distributor written in Solidity.☆53Updated 9 months ago
- Uniswap Hooks v4 - Donations☆35Updated last year