DappHub

dapptools

Dapp, Seth, Hevm, and more

dappsys

Composable building blocks for Ethereum contracts

ds-proxy

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

ds-math

Safe arithmetic

ds-token

A simple and sufficient ERC20 implementation

ds-test

Assertions, equality checks and other test helpers

ds-auth

Updatable, unobtrusive Solidity authorization pattern

klab

K framework proof explorer & smart contract specification format

dmap

registry contract with no time to argue

dpack

simple lockfile for your dapp's addresses and artifacts

k-dss

formal verification of multicollateral dai in the K framework

ds-weth

ETH->ERC20 with extra opinions

ds-chief

approval voting to select who wears the hat by consensus

ds-pause

Schedule function calls that can only be executed once some delay has elapsed

ds-vault

DSAuth-protected ERC20 token vault

erc20

erc20 interface definition container package

dapp-tools

Code for the dapp.tools website

ds-note

Log function calls as events

ds-value

Set and get a value

awesome-dmap

awesome dmap links

locktopus

sqlite file of locked values in the dmap

ds-pain

ds-cache

DSValue with expiry

remappings-test

dummy project for testing dapp remappings

dappsys-docs

dpath

dpath syntax and semantics

lockpack

tr-base

dummy repo for testing some dapp-remappings stuff

tr0

dummy repo for testing dapp-remappings

tr1

dummy repo for testing dapp remappings