Beast code in Giters

Gonzalo Balabasquer's repositories

proxy-recover

Language:SolidityGPL-3.011 40

dapptools

Dapp, Seth, Hevm, and more

Language:Haskell1 10

ds-chief

approval voting to select who wears the hat by consensus

Language:SolidityGPL-3.01 10

ds-math

Safe arithmetic

Language:NixGPL-3.01 10

ds-pause

Schedule function calls that can only be executed once some delay has elapsed

Language:SolidityAGPL-3.01 10

ds-test

Assertions, equality checks and other test helpers

Language:SolidityGPL-3.01 10

ds-value

Set and get a value

Language:NixGPL-3.01 10

ds-weth

ETH->ERC20 with extra opinions

Language:Haskell1 10

dss

Dai Stablecoin System

Language:SolidityAGPL-3.01 10

dss-flash

MakerDAO Flash Mint Module

Language:Solidity1 10

dss-vest

Language:SolidityAGPL-3.01 10

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Language:MakefileNOASSERTION1 10

klab

K framework proof explorer & smart contract specification format

Language:JavaScript1 10

l2-cure-reporter

Language:SolidityAGPL-3.01 20

manage-cdp

Language:Shell1 30

mcd-changelog

Multi-Collateral DAI Public Releases Page

Language:HTMLAGPL-3.01 10

rwa-example

1 10

scd-cdp-portal

Single-Collateral Dai CDP Portal

Language:JavaScriptAGPL-3.01 10

test-hevm

Language:Solidity1 20

tinlake-maker-lib

Language:SolidityAGPL-3.01 20

uni-funds

Language:Shell1 20

certora-vote-delegate

Language:Solidity020

community

A collection of documents and resources relating to initiatives from the Community Development group at MakerDAO.

Language:JavaScriptAGPL-3.0010

cure-reporter

Language:SolidityAGPL-3.0020

ds-proxy

a proxy object that can compose transactions on owner's behalf

Language:NixGPL-3.0010

ds-thing

Your things should be DSThings

Language:NixGPL-3.0010

ds-token

A simple and sufficient ERC20 implementation

Language:NixGPL-3.0010

dss-proxy-actions-rebalance

Language:SolidityAGPL-3.0030

mcd-cdp-portal

Oasis Borrow + Save

AGPL-3.0000

test-ci

Language:SolidityAGPL-3.0010