Pinned

1. k-dss k-dss Public

   formal verification of multicollateral dai in the K framework

   GCC Machine Description 45 23

2. dapptools dapptools Public

   Dapp, Seth, Hevm, and more

   Haskell 2.1k 326

3. klab klab Public archive

   K framework proof explorer & smart contract specification format

   JavaScript 124 36

4. chai chai Public

   ERC20 wrapper over the Dai Savings Rate

   Solidity 146 32

5. ds-proxy ds-proxy Public

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

   Solidity 308 74

6. dappsys dappsys Public

   Composable building blocks for Ethereum contracts

   Nix 574 102