DappHub

Pinned Loading

formal verification of multicollateral dai in the K framework

GCC Machine Description 44 23
Dapp, Seth, Hevm, and more

Haskell 2.1k 323
K framework proof explorer & smart contract specification format

JavaScript 124 31
ERC20 wrapper over the Dai Savings Rate

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

Solidity 319 75
Composable building blocks for Ethereum contracts

Nix 572 95

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
232
GPL-3.0
76 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
76 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
319
GPL-3.0
75 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 14 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 7 12 0
Updated Aug 12, 2022