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 25
Dapp, Seth, Hevm, and more
Haskell 2.1k 325
K framework proof explorer & smart contract specification format
JavaScript 123 36
ERC20 wrapper over the Dai Savings Rate
Solidity 149 27
a proxy object that can compose transactions on owner's behalf
Solidity 314 77
Composable building blocks for Ethereum contracts
Nix 579 101
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