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.
☆12Updated 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 3 years ago
- ☆10Updated last year
- Turing machine ZKVM☆10Updated last year
- A collection of examples and prototypes around the encumber interface☆12Updated 2 years ago
- ☆11Updated last year
- A contract that owns a Farcaster fid and delegates casting rights via Hats☆18Updated last year
- This is a Node.js wrapper around ZoKrates.☆10Updated 5 years ago
- Frenrug on-chain AI agent smart contracts.☆13Updated last year
- ☆11Updated 3 years ago
- Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]☆11Updated 3 weeks ago
- Transient Labs Creator Contracts enabling creators to innovate with their own sovereign smart contracts.☆13Updated last month
- ☆12Updated last year
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated last year
- Simple Lens Protocol module to create polls. At the moment the module is completely experimental in order to test the feasibility.☆10Updated 3 years ago
- Placeholder proof system verifier for EVM☆10Updated 3 months ago
- Solidity library for implementing Rain compatible interpreters.☆14Updated this week
- various contracts to set off or receive cross-chain calls☆10Updated 3 years ago
- ☆10Updated 3 years ago
- ERC4626 Router for Yearn V3 vaults.☆11Updated 2 years ago
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Updated last year
- ☆10Updated last year
- All the key Nova libraries and interfaces in one DappTools friendly repo!☆11Updated 4 years ago
- SealCred Ledger contract code☆10Updated 2 years ago
- An ERC6551 account controlled by the wearer(s) of a hat☆10Updated last year
- Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…☆12Updated 2 years ago
- General space for Solidity smart contract code and notes☆10Updated last year
- Solidity Merkle Mountain Range library☆12Updated last year
- Solidity code☆10Updated 2 years ago
- ☆11Updated 3 years ago