DappHub

Free stuff for dapp devs

Pinned

k-dss Public

formal verification of multicollateral dai in the K framework

GCC Machine Description 42 22
dapptools Public

Dapp, Seth, Hevm, and more

Haskell 1.6k 282
klab Public archive

K framework proof explorer & smart contract specification format

JavaScript 118 32
chai Public

ERC20 wrapper over the Dai Savings Rate

Solidity 132 27
ds-proxy Public

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

Solidity 228 57
dappsys Public

Composable building blocks for Ethereum contracts

Nix 499 93

locktopus Public
sqlite file of locked values in the dmap

2 2 0 1 Updated May 29, 2022
dpath Public
dpath syntax and semantics

1 0 0 0 Updated May 27, 2022
lockpack Public

0 0 0 0 Updated May 25, 2022
dmap Public
registry contract with no time to argue

JavaScript 19 7 10 0 Updated May 24, 2022
dapptools Public
Dapp, Seth, Hevm, and more

Haskell 1,561 282 140 (2 issues need help) 19 Updated May 24, 2022
dpack Public
simple lockfile for your dapp's addresses and artifacts

TypeScript 27 7 10 1 Updated May 21, 2022
ds-test Public
Assertions, equality checks and other test helpers

Solidity 111 GPL-3.0 52 2 6 Updated May 19, 2022
ds-chief Public
approval voting to select who wears the hat by consensus

Solidity 20 GPL-3.0 32 2 2 Updated May 4, 2022
ds-proxy Public
a proxy object that can compose transactions on owner's behalf

Solidity 228 GPL-3.0 57 2 3 Updated Apr 21, 2022
dappsys Public
Composable building blocks for Ethereum contracts

Nix 499 GPL-3.0 93 15 0 Updated Mar 12, 2022

Loading…

ethereum dappsys solidity authorization evm