GitHub repository: Certora/saddle-contract
Primary language: TypeScript
Description: The smart contracts behind saddle.finance 🤠