repos
102
ecosystems
20
languages
9
commits
710
─── top repos · by commits
─── repositories
102 totalscripts for visualising the auth connections in a deployment of dss
POC for how a Savings DAI token could be implemented
Staging repo for MakerDAO weekly executive spells
Foundry Invariant Tests for the M^0 Protocol
Emergency Shutdown Module
Dai Stats
Mostly well behaved ERC20s faucet
Mostly well behaved ERC20s faucet
forked to add ERC2771
Dai Stablecoin System
Dai Stablecoin System
Dai Stablecoin System
Dai Stablecoin System
Curio StableCoin System
Abstract developer interfaces to the Dai Stablecoin System core contracts.
Slow burner for protocol assets.
A set of scripts that deploy Curio Stablecoin System to an Ethereum chain of your choosing
Set of smart contracts and bash scripts to deploy Multi collateral DAI
DSS Executive Spellcrafting Library Contracts
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
Set of smart contracts and bash scripts to deploy Multi collateral CSC
K framework proof explorer & smart contract specification format
Set of proxy functions for MCD (using mcd-cdp-handler)
Gas usage per unit test. Average gas usage per method. A mocha reporter.
manipulate feeds
Set of proxy functions for GEB
Abstract developer interfaces for GEB core contracts
Set of proxy functions for MCD (using mcd-cdp-handler)
Gas usage per unit test. Average gas usage per method. A mocha reporter.
Set of proxy functions for Curio Stablecoin system
Protocol Engineering Checklists
The manager works by having a dss wrapper that allows users to interact with their CDPs in an easy way, treating them as non-fungible tokens
Symbolic and concrete EVM execution engine
K Semantics of the Ethereum Virtual Machine (EVM)
Developer guides to integrate with MakerDAO's smart contracts, SDKs, APIs, products, and partners
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
Dapp, Seth, Hevm, and more
Grow Open Source
MakerDAO Flash Mint Module
Multi-Collateral DAI Public Releases Page
Governance Portal
Custom authority for allowing MKR to govern MKR.
Content dump of the files from the MCD Docs GitBooks page
REPO OUT OF DATE -- do not update.
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
K Semantics of the Ethereum Virtual Machine (EVM)
Grow Open Source
Custom authority for allowing protocol token holders to govern GEB
K Semantics of the Ethereum Virtual Machine (EVM)
Grow Open Source
Grow Open Source
Grow Open Source
Dapp, Seth, Hevm, and more
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
Grow Open Source
Grow Open Source
Grow Open Source
Grow Open Source
limit vat.suck() integration risk
Ethereum block explorer project
Grow Open Source
dapptools with added matic network functionality
Grow Open Source
Custom authority for allowing CGT to govern CGT.
Grow Open Source
─── peer developers
─── ecosystems
─── languages
- Solidity46
- JavaScript23
- Shell7
- Haskell4
- Python2
- HTML2
- GCC Machine Description1
- KCL1
- Makefile1
─── subscriber view
Unlock the full view of iamchrissmith
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.