GitHub repository: metagov/SAFEforDAOs
Primary language: Solidity
Description: This is a project sponsored by Metagov. We are creating a SAFE smart contract implementation that reflects the legal document in an economic sense. We use compositional game theory to model the contract, then build out the smart contracts from the model.