Certora's repositories
aave-proposals-reports
BGD reports of Aave governance proposals
M0-Protocol
M^0 protocol
aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
M0-TTG
TTG, "Two Token Governance," is a governance mechanism that uses token voting to maintain lists and manage communal property
SolanaExamples
Provide Solana example for customers
tutorials-code
Certora tutorials
kintoXYZ-core
KYC Of KInto
ilm
integrated liquidity market
ethereum-vault-connector
The EVC is a mediator between Vaults that may have borrowing functionality.
CertoraInit
Certora Init
docs-infrastructure
Infrastructure for Certora documentation, tutorials and others.
cvldoc_parser
CVLDoc parser backend
cvldocTool
convert the NatSpec comment on a spec file(s) to a JSON file.
blend-contracts
Soroban implementation of the Blend Protocol
aave-delivery-infrastructure
Abstraction layer for cross-chain communication
liquid-collective-protocol
Liquid Collective protocol smart contracts
collections
Memory-effficient immutable collection types for Kotlin