◐ Shell
clean mode source ↗

DappHub

Pinned Loading

  1. formal verification of multicollateral dai in the K framework

    GCC Machine Description 45 24

  2. Dapp, Seth, Hevm, and more

    Haskell 2.1k 321

  3. K framework proof explorer & smart contract specification format

    JavaScript 126 32

  4. ERC20 wrapper over the Dai Savings Rate

    Solidity 147 27

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

    Solidity 320 76

  6. Composable building blocks for Ethereum contracts

    Nix 569 94

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 10 of 141 repositories

  • dapphub/celf-evm’s past year of commit activity

    JavaScript

    1

    0

    0 0

    Updated Mar 7, 2026

  • dapphub/dapptools’s past year of commit activity

  • ds-test Public

    Assertions, equality checks and other test helpers

    dapphub/ds-test’s past year of commit activity

    Solidity

    236

    GPL-3.0

    75 3 9

    Updated Feb 22, 2024

  • ds-token Public

    A simple and sufficient ERC20 implementation

    dapphub/ds-token’s past year of commit activity

    Solidity

    223

    GPL-3.0

    75 4 2

    Updated May 23, 2023

  • dapphub/dappsys-docs’s past year of commit activity

    Python

    1 1 0 0

    Updated Jan 7, 2023

  • ds-proxy Public

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

    dapphub/ds-proxy’s past year of commit activity

    Solidity

    320

    GPL-3.0

    76 2 5

    Updated Oct 5, 2022

  • ds-chief Public

    approval voting to select who wears the hat by consensus

    dapphub/ds-chief’s past year of commit activity

    Solidity

    29

    GPL-3.0

    45 2 3

    Updated Oct 5, 2022

  • dmap Public

    registry contract with no time to argue

    dapphub/dmap’s past year of commit activity

    JavaScript

    59 16 10 1

    Updated Sep 5, 2022

  • ds-auth Public

    Updatable, unobtrusive Solidity authorization pattern

    dapphub/ds-auth’s past year of commit activity

    Solidity

    139

    GPL-3.0

    35 3 0

    Updated Aug 28, 2022

  • dpack Public

    simple lockfile for your dapp's addresses and artifacts

    dapphub/dpack’s past year of commit activity

    TypeScript

    51 8 12 0

    Updated Aug 12, 2022