DappHub

Pinned

1. k-dss Public

   formal verification of multicollateral dai in the K framework

   GCC Machine Description 41 22

2. dapptools Public

   Dapp, Seth, Hevm, and more

   Haskell 1.7k 307

3. klab Public archive

   K framework proof explorer & smart contract specification format

   JavaScript 120 33

4. chai Public

   ERC20 wrapper over the Dai Savings Rate

   Solidity 134 29

5. ds-proxy Public

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

   Solidity 256 68

6. dappsys Public

   Composable building blocks for Ethereum contracts

   Nix 527 98