We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
formal verification of multicollateral dai in the K framework
GCC Machine Description 45 23
Dapp, Seth, Hevm, and more
Haskell 2.1k 326
K framework proof explorer & smart contract specification format
JavaScript 124 36
ERC20 wrapper over the Dai Savings Rate
Solidity 146 32
a proxy object that can compose transactions on owner's behalf
Solidity 308 74
Composable building blocks for Ethereum contracts
Nix 572 102
Assertions, equality checks and other test helpers
A simple and sufficient ERC20 implementation
approval voting to select who wears the hat by consensus
registry contract with no time to argue
Updatable, unobtrusive Solidity authorization pattern
simple lockfile for your dapp's addresses and artifacts
awesome dmap links