Skip to content
@dapphub

DappHub

Free stuff for dapp devs

Pinned Loading

  1. k-dss Public

    formal verification of multicollateral dai in the K framework

    GCC Machine Description 45 25

  2. dapptools Public

    Dapp, Seth, Hevm, and more

    Haskell 2.1k 325

  3. klab Public archive

    K framework proof explorer & smart contract specification format

    JavaScript 123 36

  4. chai Public

    ERC20 wrapper over the Dai Savings Rate

    Solidity 149 27

  5. ds-proxy Public

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

    Solidity 314 77

  6. dappsys Public

    Composable building blocks for Ethereum contracts

    Nix 579 101

Repositories

Showing 10 of 139 repositories
  • dapptools Public

    Dapp, Seth, Hevm, and more

    Haskell 2,114 325 145 (2 issues need help) 26 Updated Feb 25, 2025
  • ds-test Public

    Assertions, equality checks and other test helpers

    Solidity 222 GPL-3.0 73 3 7 Updated Feb 22, 2024
  • ds-token Public

    A simple and sufficient ERC20 implementation

    Solidity 226 GPL-3.0 77 4 2 Updated May 23, 2023
  • dappsys-docs Public
    Python 1 2 0 0 Updated Jan 7, 2023
  • ds-proxy Public

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

    Solidity 314 GPL-3.0 77 2 4 Updated Oct 5, 2022
  • ds-chief Public

    approval voting to select who wears the hat by consensus

    Solidity 29 GPL-3.0 46 2 3 Updated Oct 5, 2022
  • dmap Public

    registry contract with no time to argue

    JavaScript 58 15 10 1 Updated Sep 5, 2022
  • ds-auth Public

    Updatable, unobtrusive Solidity authorization pattern

    Solidity 140 GPL-3.0 37 3 0 Updated Aug 28, 2022
  • dpack Public

    simple lockfile for your dapp's addresses and artifacts

    TypeScript 50 8 12 0 Updated Aug 12, 2022
  • awesome-dmap Public

    awesome dmap links

    7 2 0 0 Updated Aug 9, 2022