8000 DappHub · GitHub
[go: up one dir, main page]
Skip to content
@dapphub

DappHub

Free stuff for dapp devs

Pinned Loading

  1. k-dss k-dss Public

    formal verification of multicollateral dai in the K framework

    GCC Machine Description 46 24

  2. dapptools dapptools Public

    Dapp, Seth, Hevm, and more

    Haskell 2.1k 319

  3. klab klab Public archive

    K framework proof explorer & smart contract specification format

    JavaScript 126 32

  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 322 78

  6. dappsys dappsys Public

    Composable building blocks for Ethereum contracts

    Nix 565 93

Repositories

Showing 10 of 141 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0