sky-ecosystem / governance-manualLinks
Welcome to the Maker Operational Manual. This set of documents intends to acquaint MKR Holders with the voting process and to serve as reference material for them to consult during the day-to-day operation of the protocol.
☆19Updated 2 years ago
Alternatives and similar repositories for governance-manual
Users that are interested in governance-manual are comparing it to the libraries listed below
Sorting:
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- ☆37Updated 10 months ago
- ☆29Updated 3 years ago
- ☆20Updated 2 years ago
- Token for accruing protocol revenues☆16Updated 3 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆27Updated 3 years ago
- Emergency Shutdown Module☆17Updated 2 years ago
- rollup node experiments☆15Updated 3 years ago
- A library for working with mutable byte buffers in Solidity.☆30Updated last year
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Updated 2 years ago
- Interface files for the vault contracts☆10Updated 3 years ago
- ☆21Updated 4 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- AAVE token implementation☆25Updated 5 years ago
- testing https://github.com/radicle-dev/radicle-contracts☆14Updated 4 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- It provides helper functions to test the maple-core contracts.☆25Updated 2 years ago
- Multicall: Aggregate multiple constant function call results into one☆16Updated 5 years ago
- ARCHIVED - This repo hosts the docs site for the Protocol Guild☆19Updated last year
- Protocol☆18Updated 2 years ago
- PoolTogether Pods: Combine your tickets together to pool your chances to win!☆17Updated 4 years ago
- ☆21Updated 4 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 5 years ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years ago
- Yield Protocol v1☆45Updated 2 years ago
- Log function calls as events☆17Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 4 years ago
- TCAP Contracts☆34Updated 2 months ago
- ☆23Updated 4 years ago
- Repository for Huff - an EVM programming language☆28Updated 5 years ago