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 2 years ago
- Transient Labs Creator Contracts enabling creators to innovate with their own sovereign smart contracts.☆13Updated 2 months ago
- Frenrug on-chain AI agent smart contracts.☆14Updated 2 years ago
- ☆10Updated 3 years ago
- This is a Node.js wrapper around ZoKrates.☆10Updated 5 years ago
- ☆10Updated last year
- Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]☆11Updated 2 weeks ago
- Turing machine ZKVM☆10Updated 2 years ago
- ☆11Updated last year
- ☆10Updated 3 years ago
- Placeholder proof system verifier for EVM☆10Updated 5 months ago
- A collection of examples and prototypes around the encumber interface☆12Updated 2 years ago
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated last year
- ☆11Updated 3 years ago
- General space for Solidity smart contract code and notes☆10Updated 2 years ago
- A ERC998 Top Down Composable and Enumerable Contract with tests for Solidity ^0.8.0☆10Updated 3 years ago
- ERC4626 Router for Yearn V3 vaults.☆11Updated 2 years ago
- Solidity library for implementing Rain compatible interpreters.☆14Updated this week
- ☆11Updated last year
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Updated 2 years ago
- All the key Nova libraries and interfaces in one DappTools friendly repo!☆11Updated 4 years ago
- various contracts to set off or receive cross-chain calls☆10Updated 3 years ago
- Utils to publish transaction create via Foundry on Gnosis Safe☆14Updated 2 years ago
- Moloch 2.5 and Dao MInion Summoner☆10Updated 3 years ago
- A contract that owns a Farcaster fid and delegates casting rights via Hats☆18Updated last year
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Updated 2 years ago
- CLAMM V1 & V2☆11Updated 8 months ago
- ☆16Updated last year
- ☆10Updated 3 years ago