Discover dapphub/dai-semantics Open Source project

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

580

ds-proxy

EVM contract system developer multitool

311

dapple

ds-math

dapp

This repository has been moved to dapphub/dapptools

249

ds-token

A simple and sufficient ERC20 implementation

Assertions, equality checks and other test helpers

225

ds-test

ERC20 wrapper over the Dai Savings Rate

208

chai

(OLD REPO) The command-line Ethereum army knife by DappHub

147

seth

147

ds-auth

Updatable, unobtrusive Solidity authorization pattern

K framework proof explorer & smart contract specification format

138

klab

(OLD REPO) A debug-oriented Ethereum VM (EVM)

124

hevm

114

dmap

registry contract with no time to argue

Dai Automated Clearing House

ds-dach

simple lockfile for your dapp's addresses and artifacts

dpack

TypeScript

k-dss

formal verification of multicollateral dai in the K framework

Simple data access pattern for dumb, durable software objects

ds-feeds

approval voting to select who wears the hat by consensus

ds-chief

ETH->ERC20 with extra opinions

ds-weth

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

ds-pause

Directly run EVM bytecode (using Parity technology)

ethrun

Rust

ds-vault

DSAuth-protected ERC20 token vault

erc20 interface definition container package

erc20

Whitelist DSAuthority for use with DSAuth

ds-guard

Multisig with a command-line interface

ds-group

Code for the dapp.tools website

dapp-tools

dappsys-monolithic

Dappsys for all

Simple m-of-n multisig proxy written in handcrafted EVM bytcode

ds-cabal

Admin toolkit for incentive-following software daemons

keeper

A DSAuthority for up to 256 roles

ds-roles

Log function calls as events

ds-note

ds-value

Set and get a value

Materials for the devcon4 workshop

fv-tutorial

ERC20 ETH token wrapper. No more special case logic for Ether.

ds-eth-token

Better exception handling

ds-exec

Linear Logic references

Dapp development overlay for Nix

awesome-dmap

awesome dmap links

nixpkgs-dapphub

sqlite file of locked values in the dmap

locktopus

ds-warp

Time travel for Ethereum

(OLD REPO) Command-line utility for ERC20 tokens

token

ACS

Applied Computer Science Working Group

ds-pain

erc20-golf

audit branch of chronobank contracts

chronobank-contracts

Ownable, transferrable, non-fungible unsigned integers

ds-items

dapphub.com

dapphub-registry

Forkable Datastore Service

ds-forkable

ds-cache

DSValue with expiry

DappleScript - A simple ethereum interaction language.

dapple-script

Your things should be DSThings

ds-thing

dummy project for testing dapp remappings

dapp-wizard

Racket

remappings-test

know-your-origin, don't use this terrible anti-pattern you fool

kyo

k-fork

Java

ethsign

(OLD REPO) Simple Ethereum transaction signer using Geth as a library

ds-spell

An object that does one thing once.

dappsys-graphics

dappsys visualizations

Create Ethereum accounts using Geth as a library

ethkey

ds-store

Dappsys data management components

qrtx

Blazingly fast EVM test runner

dapple-quicktest

cage

Reference documentation for Maker and the Dai Credit System

maker-docs

dummy repo for testing some dapp-remappings stuff

libethjet-haskell

tr-base

lockpack

LLPoster

TeX

dapp.org-old

guts

ds-delay

Unused - obsolete github pages site for dapp.tools.

dapp.tools

fv-tutorial-solutions

celf-evm

EVM written in celf

Motivational Paper on Linear Logic as a blockchain programming language

llmotivation

TeX

ds-read

dapp.org

dapp.coop

exp-squaring-percise-dapp

mod-blockchain

wiki.dapp.coop

klab-explorer.github.io

klab explorer webpage

ds-rpow

review of chronobank contracts

k-gas-analyser

Haskell

chronobank-review

building up a reasonable base class

ds-base

DSAuth-protected stop and start

ds-stop

proving that one contract can call another one, wow

dappsys-docs

Python

klab-multipleCalls

dummy repo for testing dapp-remappings

tr0

Manny O'Malley, Malicious Oracle

k-ds-rpow

SMT

manny

bat-rewrite

hubot-channel-welcome

dappsys-nix

Wallet side ethereum virtual machine

dapple-wevm

dpath syntax and semantics

dpath

100

dapple-pkg

Dapple packages module