GitHub repository: Certora/M0-TTG
Primary language: Solidity
Description: TTG, "Two Token Governance," is a governance mechanism that uses token voting to maintain lists and manage communal property