Pinned Repositories
chai
ERC20 wrapper over the Dai Savings Rate
dapp
This repository has been moved to dapphub/dapptools
dapple
EVM contract system developer multitool
dappsys
Composable building blocks for Ethereum contracts
dapptools
Dapp, Seth, Hevm, and more
ds-math
Safe arithmetic
ds-proxy
a proxy object that can compose transactions on owner's behalf
ds-token
A simple and sufficient ERC20 implementation
k-dss
formal verification of multicollateral dai in the K framework
klab
K framework proof explorer & smart contract specification format
DappHub's Repositories
dapphub/dapptools
Dapp, Seth, Hevm, and more
dapphub/dappsys
Composable building blocks for Ethereum contracts
dapphub/ds-proxy
a proxy object that can compose transactions on owner's behalf
dapphub/ds-math
Safe arithmetic
dapphub/ds-token
A simple and sufficient ERC20 implementation
dapphub/ds-test
Assertions, equality checks and other test helpers
dapphub/ds-auth
Updatable, unobtrusive Solidity authorization pattern
dapphub/klab
K framework proof explorer & smart contract specification format
dapphub/dmap
registry contract with no time to argue
dapphub/dpack
simple lockfile for your dapp's addresses and artifacts
dapphub/k-dss
formal verification of multicollateral dai in the K framework
dapphub/ds-chief
approval voting to select who wears the hat by consensus
dapphub/ds-pause
Schedule function calls that can only be executed once some delay has elapsed
dapphub/ds-weth
ETH->ERC20 with extra opinions
dapphub/dapp-tools
Code for the dapp.tools website
dapphub/ds-vault
DSAuth-protected ERC20 token vault
dapphub/erc20
erc20 interface definition container package
dapphub/ds-note
Log function calls as events
dapphub/ds-value
Set and get a value
dapphub/awesome-dmap
awesome dmap links
dapphub/locktopus
sqlite file of locked values in the dmap
dapphub/ds-pain
dapphub/ds-cache
DSValue with expiry
dapphub/remappings-test
dummy project for testing dapp remappings
dapphub/dappsys-docs
dapphub/dpath
dpath syntax and semantics
dapphub/lockpack
dapphub/tr-base
dummy repo for testing some dapp-remappings stuff
dapphub/tr0
dummy repo for testing dapp-remappings
dapphub/tr1
dummy repo for testing dapp remappings