Maker Improvement Proposals (MIPs)
☆75Sep 5, 2024Updated last year
Alternatives and similar repositories for mips
Users that are interested in mips are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Sep 1, 2021Updated 4 years ago
- ☆10Jul 13, 2021Updated 5 years ago
- ☆49May 11, 2023Updated 3 years ago
- Nilu Go implementation of the Ethereum protocol☆13Sep 12, 2020Updated 5 years ago
- Contains current and historical governance polls and executives used in the governance of the Maker Protocol. Previously contained a lot…☆197Oct 21, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Apr 9, 2021Updated 5 years ago
- Staging repo for MakerDAO weekly executive spells☆180Updated this week
- The Maker Foundation's highest priority is the security of the Maker protocol. This repository is dedicated to providing transparency to …☆10Oct 20, 2022Updated 3 years ago
- XDeFi Yield Farming & XDEX on Ethereum☆12Apr 20, 2021Updated 5 years ago
- Medianizer 2☆16Mar 8, 2023Updated 3 years ago
- SW Repo; Content Manager: CES-001; MIP21 Toolkit: Equipment for Off-chain Asset Backed Lending in MakerDAO☆16Jan 21, 2024Updated 2 years ago
- UI and API for MakerDAO’s chainlog contract☆15Jul 20, 2026Updated 3 weeks ago
- ☆24Mar 8, 2023Updated 3 years ago
- Feed with 1 hour delay☆22Mar 16, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- General-purpose implementations of ERC-792 Arbitrables.☆14Jun 21, 2024Updated 2 years ago
- A Cheat Sheet for DAML☆13May 22, 2025Updated last year
- MCD Command-line interface☆18Oct 3, 2022Updated 3 years ago
- Smart contracts that enable flash loans, an uncollateralized lending solution on Ethereum☆13May 15, 2021Updated 5 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆29Oct 25, 2022Updated 3 years ago
- Emergency Shutdown Module☆17Mar 8, 2023Updated 3 years ago
- ☆35Mar 29, 2021Updated 5 years ago
- Set of smart contracts and bash scripts to deploy Multi collateral DAI☆69Mar 15, 2023Updated 3 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Awesome list of DSA Connectors☆64Mar 29, 2021Updated 5 years ago
- MIP21 example☆15Jun 20, 2022Updated 4 years ago
- Aragon Goverance Proposals repository☆59Apr 2, 2020Updated 6 years ago
- Research☆12Oct 24, 2020Updated 5 years ago
- Docker-dapptools: A drop-in docker replacement for dapptools.☆39May 13, 2022Updated 4 years ago
- Set of proxy functions for MCD (using mcd-cdp-handler)☆74Mar 8, 2023Updated 3 years ago
- Update or revert to a specific DappTools commit with ease.☆37Jan 3, 2022Updated 4 years ago
- Dai Stats☆79Sep 7, 2023Updated 2 years ago
- Ewasm API for AssemblyScript☆22Jun 29, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A markdown document containing pertinent stake holder information in preparation for hard forks☆21Jan 22, 2019Updated 7 years ago
- Welcome to the Maker Operational Manual. This set of documents intends to acquaint MKR Holders with the voting process and to serve as re…☆20Sep 1, 2023Updated 2 years ago
- Protocol Engineering Checklists☆27Updated this week
- ☆57Apr 22, 2024Updated 2 years ago
- A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.☆710Jul 22, 2024Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆15Sep 10, 2021Updated 4 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago