Pinned Repositories
AKKA-CakePHP-Facebook-Plugin
CakePHP 3 Facebook Plugin
certora-vote-delegate
community
A collection of documents and resources relating to initiatives from the Community Development group at MakerDAO.
connaxis-token
connaxis-token-ui
cure-reporter
fut-site
fut-token
proxy-recover
rwa-example
gbalabasquer's Repositories
gbalabasquer/proxy-recover
gbalabasquer/dapptools
Dapp, Seth, Hevm, and more
gbalabasquer/ds-chief
approval voting to select who wears the hat by consensus
gbalabasquer/ds-math
Safe arithmetic
gbalabasquer/ds-pause
Schedule function calls that can only be executed once some delay has elapsed
gbalabasquer/ds-test
Assertions, equality checks and other test helpers
gbalabasquer/ds-value
Set and get a value
gbalabasquer/ds-weth
ETH->ERC20 with extra opinions
gbalabasquer/dss
Dai Stablecoin System
gbalabasquer/dss-flash
MakerDAO Flash Mint Module
gbalabasquer/dss-vest
gbalabasquer/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
gbalabasquer/klab
K framework proof explorer & smart contract specification format
gbalabasquer/l2-cure-reporter
gbalabasquer/manage-cdp
gbalabasquer/mcd-changelog
Multi-Collateral DAI Public Releases Page
gbalabasquer/rwa-example
gbalabasquer/scd-cdp-portal
Single-Collateral Dai CDP Portal
gbalabasquer/test-hevm
gbalabasquer/tinlake-maker-lib
gbalabasquer/uni-funds
gbalabasquer/certora-vote-delegate
gbalabasquer/community
A collection of documents and resources relating to initiatives from the Community Development group at MakerDAO.
gbalabasquer/cure-reporter
gbalabasquer/ds-proxy
a proxy object that can compose transactions on owner's behalf
gbalabasquer/ds-thing
Your things should be DSThings
gbalabasquer/ds-token
A simple and sufficient ERC20 implementation
gbalabasquer/dss-proxy-actions-rebalance
gbalabasquer/mcd-cdp-portal
Oasis Borrow + Save
gbalabasquer/test-ci