formal verification of multicollateral dai in the K framework
GCC Machine Description 40 22
Dapp, Seth, Hevm, and more
Haskell 1.4k 260
K framework proof explorer & smart contract specification format
JavaScript 118 32
ERC20 wrapper over the Dai Savings Rate
Solidity 132 26
a proxy object that can compose transactions on owner's behalf
Solidity 204 54
Composable building blocks for Ethereum contracts
Nix 474 84
registry contract with no time to argue
simple lockfile for your dapp's addresses and artifacts
Schedule function calls that can only be executed once some delay has elapsed
Assertions, equality checks and other test helpers
approval voting to select who wears the hat by consensus
A simple and sufficient ERC20 implementation
Set and get a value
