metagov / SAFEforDAOsLinks
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.
☆11Updated 2 years ago
Alternatives and similar repositories for SAFEforDAOs
Users that are interested in SAFEforDAOs are comparing it to the libraries listed below
Sorting:
- ☆10Updated last year
- ☆10Updated last year
- ☆10Updated 3 years ago
- ☆10Updated 3 years ago
- Nouns DAO anonymous voting ⌐◨-◨☆9Updated last year
- Tests against mainnet DMAP☆10Updated 3 years ago
- A collection of examples and prototypes around the encumber interface☆12Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated 11 months ago
- Placeholder proof system verifier for EVM☆10Updated last week
- Turing machine ZKVM☆10Updated last year
- ☆11Updated 2 years ago
- This is a Node.js wrapper around ZoKrates.☆10Updated 5 years ago
- Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]☆11Updated 7 months ago
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated last year
- ☆10Updated last year
- ☆8Updated 2 years ago
- Wield Labs smart contracts☆10Updated 3 months ago
- Moloch 2.5 and Dao MInion Summoner☆10Updated 2 years ago
- The modular fundraising stack☆10Updated last year
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ERC4626 Router for Yearn V3 vaults.☆10Updated last year
- Solidity code☆10Updated 2 years ago
- ☆8Updated last year
- various contracts to set off or receive cross-chain calls☆10Updated 3 years ago
- General space for Solidity smart contract code and notes☆10Updated last year
- ☆10Updated 2 years ago
- exotic NFT and ERC20 covered call vaults☆10Updated 2 years ago
- Strategies for BentoBox☆11Updated 2 years ago
- ☆10Updated 2 years ago