DappHub Pinned Loading formal verification of multicollateral dai in the K framework GCC Machine Description 45 24 Dapp, Seth, Hevm, and more Haskell 2.1k 321 K framework proof explorer & smart contract specification format JavaScript 126 32 ERC20 wrapper over the Dai Savings Rate Solidity 147 27 a proxy object that can compose transactions on owner's behalf Solidity 320 76 Composable building blocks for Ethereum contracts Nix 569 94 Repositories Type Select type All Public Sources Forks Archived Mirrors Templates Language Select language All C++ CSS GCC Machine Description Go Haskell HTML Java JavaScript Lua Makefile Nix Python Racket Rust Shell SMT Solidity TeX TypeScript Vue Sort Select order Last updated Name Stars 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