Pinned Loading

1. k-dss k-dss Public

   formal verification of multicollateral dai in the K framework

   GCC Machine Description 45 25

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 123 36

4. chai chai Public

   ERC20 wrapper over the Dai Savings Rate

   Solidity 147 27

5. ds-proxy ds-proxy Public

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

   Solidity 313 78

6. dappsys dappsys Public

   Composable building blocks for Ethereum contracts

   Nix 579 101