DappHub

Free stuff for dapp devs

Pinned

k-dss Public

formal verification of multicollateral dai in the K framework

GCC Machine Description 43 24
dapptools Public

Dapp, Seth, Hevm, and more

Haskell 1.9k 320
klab Public archive

K framework proof explorer & smart contract specification format

JavaScript 121 36
chai Public

ERC20 wrapper over the Dai Savings Rate

Solidity 140 31
ds-proxy Public

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

Solidity 277 72
dappsys Public

Composable building blocks for Ethereum contracts

Nix 552 103

dapptools Public
Dapp, Seth, Hevm, and more

Haskell 1,894 320 142 (2 issues need help) 26 Updated Mar 29, 2023
ds-test Public
Assertions, equality checks and other test helpers

Solidity 169 GPL-3.0 66 3 6 Updated Mar 4, 2023
dappsys-docs Public

Python 1 6 0 1 Updated Jan 7, 2023
ds-proxy Public
a proxy object that can compose transactions on owner's behalf

Solidity 277 GPL-3.0 72 2 4 Updated Oct 5, 2022
ds-chief Public
approval voting to select who wears the hat by consensus

Solidity 25 GPL-3.0 40 2 3 Updated Oct 5, 2022
dmap Public
registry contract with no time to argue

JavaScript 57 13 10 1 Updated Sep 5, 2022
ds-auth Public
Updatable, unobtrusive Solidity authorization pattern

Solidity 135 GPL-3.0 42 3 0 Updated Aug 28, 2022
dpack Public
simple lockfile for your dapp's addresses and artifacts

TypeScript 36 8 10 0 Updated Aug 12, 2022
awesome-dmap Public
awesome dmap links

7 2 0 0 Updated Aug 9, 2022
ds-math Public
Safe arithmetic

Solidity 225 GPL-3.0 51 3 4 Updated Jul 29, 2022

ethereum dappsys solidity authorization evm