DappHub

Pinned

1. dapptools

   Dapp, Seth, Hevm, and more

   Haskell 559 133

2. klab

   K framework proof explorer & smart contract specification format

   JavaScript 106 29

3. k-dss

   formal verification of multicollateral dai in the K framework

   GCC Machine Description 32 19

4. chai

   ERC20 wrapper over the Dai Savings Rate

   Solidity 121 21

5. ds-math

   Safe arithmetic

   Solidity 141 27

6. ds-proxy

   a proxy object that can compose transactions on owner's behalf

   Solidity 160 40