Geek Repo
Free stuff for dapp devs
Location:Distributed
Home Page:https://dapphub.com
Github PK Tool:Github PK Tool
Dapp, Seth, Hevm, and more
Composable building blocks for Ethereum contracts
a proxy object that can compose transactions on owner's behalf
Safe arithmetic
A simple and sufficient ERC20 implementation
Assertions, equality checks and other test helpers
Updatable, unobtrusive Solidity authorization pattern
K framework proof explorer & smart contract specification format
registry contract with no time to argue
simple lockfile for your dapp's addresses and artifacts
formal verification of multicollateral dai in the K framework
approval voting to select who wears the hat by consensus
Schedule function calls that can only be executed once some delay has elapsed
ETH->ERC20 with extra opinions
DSAuth-protected ERC20 token vault
erc20 interface definition container package
Code for the dapp.tools website
Log function calls as events
Set and get a value
awesome dmap links
sqlite file of locked values in the dmap
DSValue with expiry
dummy project for testing dapp remappings
dpath syntax and semantics
dummy repo for testing some dapp-remappings stuff
dummy repo for testing dapp-remappings
dummy repo for testing dapp remappings